ajout .gitignore pour les fichiers type .pro.user
correction de la couverture pour les arbres.