Title: Logique et automates - Option informatique en MPSI, MP et MP* - Premier et deuxième cycles universitaires - Écoles d'ingénieurs