configuration pour graphviz

Les options sont configurées mais l'option HAVE_DOT est laissée à NO :
la génération de la documentation prend plus de temps. Il suffira de
l'activer en temps voulu.