[Systeme] Le problème avec COQ

Bonjour, voilà un petit problème que je viens de rencontrer, je ne peux plus lancer le logiciel COQ. Normalement, quand j'ouvrais le terminal et tapais directement "coqtop", le système lançait COQ automatiquement. Mais aujourd'hui, j'ai essayé de faire la même chose, ça marche plus. Il m'indique que la phrase suivante: yibei@chocolat:~$ coqtop bash: coqtop: command not found donc je vous prier de me donner peut-être un peit peu de conseil pour que je puisse m'en sortir. Merci d'avance. Cordialement, Yibei YU