Structures de données et méthodes formelles — Marc Guyomard