Marc Boyer wrote:

  C'est dans un bouquin sur le temps réel que j'ai trouvé la
première définition qui me satisfasse: elle offre deux niveaux,
ADT (Abstract Data Type) et OOP.

De plus, ce qui est intéressant dans l'ADT, et que l'on ne retrouve que dans
très peu de langages objets, est la définition de conditions (pré et
post-conditions des opérations) et des invariants.

Miguel