C'est un cours pour apprendre à spécifier formellement un protocole... rien de bien sorcier.

"Tu veux parler des trois modèles sur lesquels reposent les techniques de description formelle des protocoles comme les automates d’états finis, les réseaux de Pétri ou encore l’ordonnancement temporel ?
En fait tu as deux langages normalisés qui sont Estelle et Lotos, Estelle utilisant les automates et Lotos l’ordonnancement temporel. Ces langages de description de protocoles ont été développés par l’ISO. Ils possèdent tous les deux une sémantique et une syntaxe formelle.
Je pourrais aussi te parler de la partie ou d’une part je te présenterais une approche d’évaluation de ces deux langages, et d’autre part à approfondir les comparaisons par un choix de critères plus sélectifs, enfin si tu veux mon chéri ?"
- ha
"ouned, mon chéri"

C'est un cours visant à bien comprendre et cerner un problème en informatique avant d'en écrire la réponse. Voila. Maman contente.

pH : Quand on maîtrise pas la base, c'est sûr, ça pique.

...Ouais c'est pas faux.

C'est la base...

Acide ce ph.

ah

C'est pas faux.

"...Et ça parle de quoi ?"

Ah les mamans...

Perso, j'aurais juste répondu "quand même !".

Du coup j'ai l'impression d'être sa mère...

Oui effectivement..."ah".

Je suis le seul a avoir lu proctologue?

Et c'est un cour ça ?

j'ai lue spécification formelle de proctologue !!

j'ai cru qui avais un cour que les phrase d'accroche, genre :

bonjour je doigte bien ne vous inquiété pas.Jje suis un expert depuis la découverte de l'anus.

tout en vous mettant le doigt sous le nez ^^