diff --git a/Proposition interface.pdf b/Proposition interface.pdf
index d8fb034dd5f498721e45345c290fc1472eafd7cc..30b8a7cb770b79647dc64f4d7f88edef50f88c09 100644
Binary files a/Proposition interface.pdf and b/Proposition interface.pdf differ