Mentions légales du service
Updated [Dot] to support node shapes. Updated [AutomatonGraph] to double-circle nodes with a reduction.