diff --git a/doc/.travail/.~lock.preuves.odt# b/doc/.travail/.~lock.preuves.odt#
new file mode 100644
index 0000000..746775f
--- /dev/null
+++ b/doc/.travail/.~lock.preuves.odt#
@@ -0,0 +1 @@
+,machaonix,machaonix-PC,26.03.2022 19:23,file:///home/machaonix/.config/libreoffice/4;
\ No newline at end of file
diff --git a/doc/.travail/preuves.odt b/doc/.travail/preuves.odt
new file mode 100644
index 0000000..1bb3554
Binary files /dev/null and b/doc/.travail/preuves.odt differ
diff --git a/doc/preuves.pdf b/doc/preuves.pdf
new file mode 100644
index 0000000..2a2cf15
Binary files /dev/null and b/doc/preuves.pdf differ