Modification du .gitignore

Pour que notre cher coordinateur puisse suivre l'avancement de notre
travail parce qu'il a une flemme phénoménale de télécharger un éditeur
latex, les pdf de nos documents pourront être commit