The pdf file that you quote says (2.3 on P9) that:
"In order to allow a richer collection of attributes at a finer granularity, dot accepts
HTML-like labels using HTML syntax. These are specified using strings that are
delimited by < . . . > rather than double-quotes."
So, I think that my files are valid.
Furthermore, if you add double-quote around HTML labels, the HTML are not recognized by graphviz tools such as fdp or neato and the files generated by these tools use the default labels and not the HTML ones.
Thanks again for your time.
Johan