Algorithmique et Programmation
Axiomatique objet