diff --git a/references.tex b/references.tex
new file mode 100644
index 0000000000000000000000000000000000000000..bb2026a3f88b8817ef85a80adbdb5bcfffd7d7f2
--- /dev/null
+++ b/references.tex
@@ -0,0 +1,6 @@
+\subsection*{Références}
+\noindent \url{https://coq.inria.fr}\\
+\url{https://gitlab.inria.fr/bertot/progcoq/account.v}\\
+\url{https://cel.archives-ouvertes.fr/inria-00001173}\\
+\url{https://www-sop.inria.fr/members/Yves.Bertot/coqartF.pdf}\\
+\url{https://github.com/coq-community/coq-art}
diff --git a/short_article.tex b/short_article.tex
index 1073c6dcf1d5f1dc1f7a4f4bf66e1dcb0e5f32cb..d452b56d76f2d28af3b1576d1b7cd5214683558e 100644
--- a/short_article.tex
+++ b/short_article.tex
@@ -29,4 +29,5 @@ d'éfficacité différentes.  Ceci fera l'objet d'articles à venir, mais une
 \begin{center}
 \url{https://gitlab.inria.fr/bertot/progcoq/}
 \end{center}
+\input references.tex
 \end{document}