diff --git a/tp/tp-menhir/sujet/tp-menhir.pdf b/tp/tp-menhir/sujet/tp-menhir.pdf
index 26ffc1d..f5b65c2 100644
Binary files a/tp/tp-menhir/sujet/tp-menhir.pdf and b/tp/tp-menhir/sujet/tp-menhir.pdf differ