ajout des types fonctions et procédures avec et sans préconditions

et de la commande \tadPrecondition

Revert "modif makefile"

See merge request !8

This reverts commit 5ea9592e

Revert "ajout de la partie signature avec préconditions"

See merge request !7

This reverts commit f6fe438d

Revert "ajout de la section fonctionAvecPrécondition"

See merge request !6

This reverts commit 6042b251

Revert "Merge branch '5-ajoutcommande-procedureavecpreconditions' into 'main'"

See merge request !5

This reverts merge request !4

ajout des parapgraphes pour les procédure avec préconditions et les signature...

Closes #5

See merge request !4

ajout des parapgraphes pour les procédure avec préconditions et les signature de procédure avec préconditions

Resolve "mise à jour de la partie historique"

Closes #1

See merge request !2