# Outils divers


OK, let's go for a few nice tools.

## non ascii ?