modificiation du readme
modif emir
instructions git dans le readme
ajout de l'environnement de travail : makefile + dossiers
ajout des fichiers .c et .h vides
Hello world
ajout du \n
ajout du \n
resolution conflit
test
test2
test3
test5
suppression des tests
definition des structures de donnees
Merge branch 'master' of https://github.com/PeanutsFR/DPLL
avancement dans la creation des structures de donnees
corrections de quelques erreurs
ajout de fonction de supression
Test de generation de la doc avec doxygen