Ajout d'une ref pour Coq trouvée sur la ml coq-club