Il se passe quelque chose avec $COQ, mais je ne sais pas pourquoi..
143