• Compte rendu du GT Coq du 16 janvier 2009
• Protocol for the release