ajout de la negation booleene, ebauche des commentaires, finalisation de division