Corrige la compilation des dot.

Ça ajoute une dépendance un peu violente mais ça a deux intérêts : ça compile et on se contente d'exécuter pdflatex, comme avant.

J'ai utilisé dot2tex car je n'ai pas réussi avec graphviz, pour des raisons inconnues. Si vous parvenez à le faire fonctionner avec graphviz, ne vous gênez pas.