Nous avons besoin de coq et coqide en J3 et sur turing. Attention vérifier que les raccourcis de navigation par défaut ne sont pas en conflit avec X ou avec Windows.

Nous avons aussi besoin sur turing de: