@jepi
Stallman, c'est un peu le Père Noël des geeks ... ceci explique probablement cet écart orthographique de ma part :-)