Les modeles et la formalisation de comportement