Un point-virgule oublié ?