Vers un modèle formel en analyse à objets.