Sémantique et automate — Robert Martin