Ajout d'un .gitignore
Modif de Rice et de sa contraposée

Inversion du théorème et de sa contraposée pour garder l’ordre du
cours, correction du théorème et ajout de deux lignes pour dire à quoi
sert la contraposée