Méthodologie : Formalisation, résolution

formalisation

Pb concret froid ? chaud ?

Pb formel température?

traitement

solution formelle