Source: https://proflecoqelec-49.webself.net/file/si1456027/download/2 Equation d'un autom simple-fi22195960.pdf