- 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:
  * frama-c 
  * why 
  * alt-ergo