Nous avons aussi une collaboration suivie avec P. Crégut and J.-F. Monin du CNET à Lannion au sein d'une convention de trois ans. Cette collaboration porte sur l'utilisation de Coq pour des protocoles de communication.
