@LambdaPaul, et l'on ne demande même pas si cela s'est écrit tout seul.

(Je ne m'appelle pas Claude, je ne suis pas un chat.)