Une sémantique pour l'héritage de comportement.