Ceci est une ancienne révision du document ! Équipe thématique Pôle Preuves, programmes et systèmes Analyse et conception de systèmes Responsable Nothing.