927 -- Exemples de preuve d’algorithme : correction, terminaison. : Historique des versions

Aller à : navigation, rechercher

Légende : (actu) = différence avec la version actuelle, (diff) = différence avec la version précédente, m = modification mineure