La vision des types dans les langage à objets permet d’intéressantes conceptions avec généralisation et abstraction.