Équipe-projet Inria Pôle Preuves, programmes et systèmes Picube (Inria) Responsable Paul-André Melliès