ajout du résumé de cours (copié collé) du site de YRG
ajout .gitignore
essai d'affichage d'un arbre de preuve logique en css (fail)