Sémantique et compilation de LUSTRE, un langage déclaratif synchrone — John Plaice