diff --git a/RapportPresentation/ex-biblio.bib b/RapportPresentation/ex-biblio.bib new file mode 100644 index 0000000..636f9c8 --- /dev/null +++ b/RapportPresentation/ex-biblio.bib @@ -0,0 +1,18 @@ +@InProceedings{ProjInt16, + author = {Les M1 du DI}, + title = {Notre beau projet intégré}, + booktitle = {Recueil des projets intégrés de l'année}, + crossref = {allProjInt16}, + pages = {10--22}, + year = 2016} + + +@Proceedings{allProjInt16, + title = {Recueil des projets intégrés de l'année}, + year = 2016, + volume = 1, + series = {Best sellers du DI}, + publisher = {ENS de Lyon}, + editor = {Eddy Caron} +} + diff --git a/RapportPresentation/ex-presentation.tex b/RapportPresentation/ex-presentation.tex new file mode 100644 index 0000000..bde9878 --- /dev/null +++ b/RapportPresentation/ex-presentation.tex @@ -0,0 +1,51 @@ +\documentclass{beamer} + +\usepackage[utf8]{inputenc} + +\title{Présentation finale projet 2} +\author{Titi et toto} +\institute{} +\date{} + +% ceci est un commentaire +% pour compiler : tapez pdflatex ex-presentation +% regardez ensuite le fichier ex-presentation.pdf + +\begin{document} + +\maketitle + +\begin{frame}{Nous avons bien ri} + + \begin{itemize} + \item nous avons codé en Haskell + + \item nous avons utilisé une imprimante 3D + + \pause + + + \item notre programme ne marche pas sur des entrées de taille $>10$ + + \end{itemize} + +\end{frame} + +\begin{frame}{Conclusions} + + \begin{itemize} + \item ce qu'il reste à améliorer + + \item ce qui pourrait être ajouté + + \item ce qui devrait être totalement repris + + \item ce qui a été le plus difficile + \end{itemize} + +\end{frame} + +\end{document} + + + diff --git a/RapportPresentation/ex-rapport.aux b/RapportPresentation/ex-rapport.aux new file mode 100644 index 0000000..dbdbe24 --- /dev/null +++ b/RapportPresentation/ex-rapport.aux @@ -0,0 +1,10 @@ +\relax +\citation{ProjInt16} +\@writefile{toc}{\contentsline {section}{\numberline {1}Présentation}{1}{}\protected@file@percent } +\@writefile{toc}{\contentsline {section}{\numberline {2}Organisation du code}{1}{}\protected@file@percent } +\newlabel{s:orga}{{2}{1}{}{}{}} +\@writefile{toc}{\contentsline {section}{\numberline {3}Critique des performances}{1}{}\protected@file@percent } +\bibstyle{plain} +\bibdata{ex-biblio} +\bibcite{ProjInt16}{1} +\gdef \@abspage@last{2} diff --git a/RapportPresentation/ex-rapport.bbl b/RapportPresentation/ex-rapport.bbl new file mode 100644 index 0000000..b2bff6d --- /dev/null +++ b/RapportPresentation/ex-rapport.bbl @@ -0,0 +1,8 @@ +\begin{thebibliography}{1} + +\bibitem{ProjInt16} +Les~M1 du~DI. +\newblock Notre beau projet intégré. +\newblock In Eddy Caron, editor, {\em Recueil des projets intégrés de l'année}, volume~1 of {\em Best sellers du DI}, pages 10--22. ENS de Lyon, 2016. + +\end{thebibliography} diff --git a/RapportPresentation/ex-rapport.blg b/RapportPresentation/ex-rapport.blg new file mode 100644 index 0000000..6201c24 --- /dev/null +++ b/RapportPresentation/ex-rapport.blg @@ -0,0 +1,46 @@ +This is BibTeX, Version 0.99d (TeX Live 2024/Arch Linux) +Capacity: max_strings=200000, hash_size=200000, hash_prime=170003 +The top-level auxiliary file: ex-rapport.aux +The style file: plain.bst +Database file #1: ex-biblio.bib +You've used 1 entry, + 2118 wiz_defined-function locations, + 509 strings with 4174 characters, +and the built_in function-call counts, 453 in all, are: += -- 45 +> -- 11 +< -- 2 ++ -- 4 +- -- 3 +* -- 31 +:= -- 72 +add.period$ -- 4 +call.type$ -- 1 +change.case$ -- 4 +chr.to.int$ -- 0 +cite$ -- 1 +duplicate$ -- 22 +empty$ -- 41 +format.name$ -- 3 +if$ -- 101 +int.to.chr$ -- 0 +int.to.str$ -- 1 +missing$ -- 1 +newline$ -- 8 +num.names$ -- 4 +pop$ -- 5 +preamble$ -- 1 +purify$ -- 3 +quote$ -- 0 +skip$ -- 16 +stack$ -- 0 +substring$ -- 29 +swap$ -- 11 +text.length$ -- 2 +text.prefix$ -- 0 +top$ -- 0 +type$ -- 4 +warning$ -- 0 +while$ -- 6 +width$ -- 2 +write$ -- 15 diff --git a/RapportPresentation/ex-rapport.fdb_latexmk b/RapportPresentation/ex-rapport.fdb_latexmk new file mode 100644 index 0000000..b52ed3a --- /dev/null +++ b/RapportPresentation/ex-rapport.fdb_latexmk @@ -0,0 +1,56 @@ +# Fdb version 4 +["bibtex ex-rapport"] 1715617052.40433 "ex-rapport.aux" "ex-rapport.bbl" "ex-rapport" 1715617081.68301 0 + "./ex-biblio.bib" 1493037286 435 eb384d654794ae20bc01965f6b4e4822 "" + "/usr/share/texmf-dist/bibtex/bst/base/plain.bst" 1711186958 20613 bd3fbfa9f64872b81ac57a0dd2ed855f "" + "ex-rapport.aux" 1715617081.51618 467 dfd15de10c0a5a19b1ec96e1b8771110 "pdflatex" + (generated) + "ex-rapport.bbl" + "ex-rapport.blg" + (rewritten before read) +["pdflatex"] 1715617081.286 "ex-rapport.tex" "ex-rapport.pdf" "ex-rapport" 1715617081.6834 0 + "/usr/share/texmf-dist/fonts/enc/dvips/cm-super/cm-super-ts1.enc" 1711186958 2900 1537cc8184ad1792082cd229ecc269f4 "" + "/usr/share/texmf-dist/fonts/map/fontname/texfonts.map" 1711186958 3524 cb3e574dea2d1052e39280babc910dc8 "" + "/usr/share/texmf-dist/fonts/tfm/jknappen/ec/tcrm1000.tfm" 1711186958 1536 e07581a4bb3136ece9eeb4c3ffab8233 "" + "/usr/share/texmf-dist/fonts/tfm/public/cm/cmbx10.tfm" 1711186958 1328 c834bbb027764024c09d3d2bf908b5f0 "" + "/usr/share/texmf-dist/fonts/tfm/public/cm/cmbx12.tfm" 1711186958 1324 c910af8c371558dc20f2d7822f66fe64 "" + "/usr/share/texmf-dist/fonts/tfm/public/cm/cmmi12.tfm" 1711186958 1524 4414a8315f39513458b80dfc63bff03a "" + "/usr/share/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm" 1711186958 1512 f21f83efb36853c0b70002322c1ab3ad "" + "/usr/share/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm" 1711186958 1520 eccf95517727cb11801f4f1aee3a21b4 "" + "/usr/share/texmf-dist/fonts/tfm/public/cm/cmr12.tfm" 1711186958 1288 655e228510b4c2a1abe905c368440826 "" + "/usr/share/texmf-dist/fonts/tfm/public/cm/cmr17.tfm" 1711186958 1292 296a67155bdbfc32aa9c636f21e91433 "" + "/usr/share/texmf-dist/fonts/tfm/public/cm/cmr6.tfm" 1711186958 1300 b62933e007d01cfd073f79b963c01526 "" + "/usr/share/texmf-dist/fonts/tfm/public/cm/cmr8.tfm" 1711186958 1292 21c1c5bfeaebccffdb478fd231a0997d "" + "/usr/share/texmf-dist/fonts/tfm/public/cm/cmsy10.tfm" 1711186958 1124 6c73e740cf17375f03eec0ee63599741 "" + "/usr/share/texmf-dist/fonts/tfm/public/cm/cmsy6.tfm" 1711186958 1116 933a60c408fc0a863a92debe84b2d294 "" + "/usr/share/texmf-dist/fonts/tfm/public/cm/cmsy8.tfm" 1711186958 1120 8b7d695260f3cff42e636090a8002094 "" + "/usr/share/texmf-dist/fonts/tfm/public/cm/cmti10.tfm" 1711186958 1480 aa8e34af0eb6a2941b776984cf1dfdc4 "" + "/usr/share/texmf-dist/fonts/tfm/public/cm/cmtt10.tfm" 1711186958 768 1321e9409b4137d6fb428ac9dc956269 "" + "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx10.pfb" 1711186958 34811 78b52f49e893bcba91bd7581cdc144c0 "" + "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx12.pfb" 1711186958 32080 340ef9bf63678554ee606688e7b5339d "" + "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmex10.pfb" 1711186958 30251 6afa5cb1d0204815a708a080681d4674 "" + "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb" 1711186958 36299 5f9df58c2139e7edcf37c8fca4bd384d "" + "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi7.pfb" 1711186958 36281 c355509802a035cadc5f15869451dcee "" + "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb" 1711186958 35752 024fb6c41858982481f6968b5fc26508 "" + "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr12.pfb" 1711186958 32722 d7379af29a190c3f453aba36302ff5a9 "" + "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr17.pfb" 1711186958 32362 179c33bbf43f19adbb3825bb4e36e57a "" + "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr7.pfb" 1711186958 32762 224316ccc9ad3ca0423a14971cfa7fc1 "" + "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb" 1711186958 32569 5e5ddc8df908dea60932f3c484a54c0d "" + "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy7.pfb" 1711186958 32716 08e384dc442464e7285e891af9f45947 "" + "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmti10.pfb" 1711186958 37944 359e864bd06cde3b1cf57bb20757fb06 "" + "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt10.pfb" 1711186958 31099 c85edf1dd5b9e826d67c9c7293b6786c "" + "/usr/share/texmf-dist/fonts/type1/public/cm-super/sfrm1000.pfb" 1711186958 138258 6525c253f16cededa14c7fd0da7f67b2 "" + "/usr/share/texmf-dist/tex/latex/base/article.cls" 1711186958 20144 147463a6a579f4597269ef9565205cfe "" + "/usr/share/texmf-dist/tex/latex/base/inputenc.sty" 1711186958 5048 425739d70251273bf93e3d51f3c40048 "" + "/usr/share/texmf-dist/tex/latex/base/size10.clo" 1711186958 8448 dbc0dbf4156c0bb9ba01a1c685d3bad0 "" + "/usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def" 1711186958 30006 3d512c0edd558928ddea1690180ef77e "" + "/usr/share/texmf-dist/web2c/texmf.cnf" 1711186958 41588 b43d3e860a4f94167ee1e725ff526a72 "" + "/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map" 1711285693.39514 5312047 b07fcd2a9090df96fc745b92a3db793b "" + "/var/lib/texmf/web2c/pdftex/pdflatex.fmt" 1711285673 7112991 931bea6825d58058da953e5791f38d28 "" + "ex-rapport.aux" 1715617081.51618 467 dfd15de10c0a5a19b1ec96e1b8771110 "pdflatex" + "ex-rapport.bbl" 1715617052.46499 278 e38e720b0bd39c2772a1f07ef75f9a82 "bibtex ex-rapport" + "ex-rapport.tex" 1715617079.95278 2559 ef60cfa68621adc180317e6d98483611 "" + (generated) + "ex-rapport.aux" + "ex-rapport.log" + "ex-rapport.pdf" + (rewritten before read) diff --git a/RapportPresentation/ex-rapport.fls b/RapportPresentation/ex-rapport.fls new file mode 100644 index 0000000..3204819 --- /dev/null +++ b/RapportPresentation/ex-rapport.fls @@ -0,0 +1,56 @@ +PWD /home/marw/profon/pieuvre/RapportPresentation +INPUT /usr/share/texmf-dist/web2c/texmf.cnf +INPUT /var/lib/texmf/web2c/pdftex/pdflatex.fmt +INPUT ex-rapport.tex +OUTPUT ex-rapport.log +INPUT /usr/share/texmf-dist/tex/latex/base/article.cls +INPUT /usr/share/texmf-dist/tex/latex/base/article.cls +INPUT /usr/share/texmf-dist/tex/latex/base/size10.clo +INPUT /usr/share/texmf-dist/tex/latex/base/size10.clo +INPUT /usr/share/texmf-dist/tex/latex/base/size10.clo +INPUT /usr/share/texmf-dist/tex/latex/base/inputenc.sty +INPUT /usr/share/texmf-dist/tex/latex/base/inputenc.sty +INPUT /usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def +INPUT /usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def +INPUT ./ex-rapport.aux +INPUT ./ex-rapport.aux +INPUT ex-rapport.aux +OUTPUT ex-rapport.aux +INPUT /usr/share/texmf-dist/fonts/map/fontname/texfonts.map +INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmr17.tfm +INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmr12.tfm +INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmr8.tfm +INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmr6.tfm +INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmmi12.tfm +INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm +INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm +INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmsy10.tfm +INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmsy8.tfm +INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmsy6.tfm +INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmr12.tfm +INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmbx12.tfm +INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmbx10.tfm +INPUT /usr/share/texmf-dist/fonts/tfm/jknappen/ec/tcrm1000.tfm +INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmtt10.tfm +OUTPUT ex-rapport.pdf +INPUT /var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map +INPUT /usr/share/texmf-dist/fonts/enc/dvips/cm-super/cm-super-ts1.enc +INPUT ./ex-rapport.bbl +INPUT ./ex-rapport.bbl +INPUT ex-rapport.bbl +INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmti10.tfm +INPUT ex-rapport.aux +INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx10.pfb +INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx12.pfb +INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmex10.pfb +INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb +INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi7.pfb +INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb +INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr12.pfb +INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr17.pfb +INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr7.pfb +INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb +INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy7.pfb +INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmti10.pfb +INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt10.pfb +INPUT /usr/share/texmf-dist/fonts/type1/public/cm-super/sfrm1000.pfb diff --git a/RapportPresentation/ex-rapport.log b/RapportPresentation/ex-rapport.log new file mode 100644 index 0000000..f0bf395 --- /dev/null +++ b/RapportPresentation/ex-rapport.log @@ -0,0 +1,89 @@ +This is pdfTeX, Version 3.141592653-2.6-1.40.26 (TeX Live 2024/Arch Linux) (preloaded format=pdflatex 2024.3.24) 13 MAY 2024 18:18 +entering extended mode + restricted \write18 enabled. + file:line:error style messages enabled. + %&-line parsing enabled. +**ex-rapport.tex +(./ex-rapport.tex +LaTeX2e <2023-11-01> patch level 1 +L3 programming layer <2024-02-20> +(/usr/share/texmf-dist/tex/latex/base/article.cls +Document Class: article 2023/05/17 v1.4n Standard LaTeX document class +(/usr/share/texmf-dist/tex/latex/base/size10.clo +File: size10.clo 2023/05/17 v1.4n Standard LaTeX file (size option) +) +\c@part=\count188 +\c@section=\count189 +\c@subsection=\count190 +\c@subsubsection=\count191 +\c@paragraph=\count192 +\c@subparagraph=\count193 +\c@figure=\count194 +\c@table=\count195 +\abovecaptionskip=\skip48 +\belowcaptionskip=\skip49 +\bibindent=\dimen140 +) (/usr/share/texmf-dist/tex/latex/base/inputenc.sty +Package: inputenc 2021/02/14 v1.3d Input encoding file +\inpenc@prehook=\toks17 +\inpenc@posthook=\toks18 +) (/usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def +File: l3backend-pdftex.def 2024-02-20 L3 backend support: PDF output (pdfTeX) +\l__color_backend_stack_int=\count196 +\l__pdf_internal_box=\box51 +) (./ex-rapport.aux) +\openout1 = `ex-rapport.aux'. + +LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 36. +LaTeX Font Info: ... okay on input line 36. +LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 36. +LaTeX Font Info: ... okay on input line 36. +LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 36. +LaTeX Font Info: ... okay on input line 36. +LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 36. +LaTeX Font Info: ... okay on input line 36. +LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 36. +LaTeX Font Info: ... okay on input line 36. +LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 36. +LaTeX Font Info: ... okay on input line 36. +LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 36. +LaTeX Font Info: ... okay on input line 36. +LaTeX Font Info: External font `cmex10' loaded for size +(Font) <12> on input line 38. +LaTeX Font Info: External font `cmex10' loaded for size +(Font) <8> on input line 38. +LaTeX Font Info: External font `cmex10' loaded for size +(Font) <6> on input line 38. + +Overfull \hbox (2.56294pt too wide) in paragraph at lines 42--45 +\OT1/cmr/m/n/10 Nous avons pro-gramm^^Se \OT1/cmr/bx/n/10 en D\OT1/cmr/m/n/10 , en in-terfa^^Xcant notre pro-gramme avec des morceaux + [] + +LaTeX Font Info: External font `cmex10' loaded for size +(Font) <7> on input line 51. +LaTeX Font Info: External font `cmex10' loaded for size +(Font) <5> on input line 51. +[1 + +{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}{/usr/share/texmf-dist/fonts/enc/dvips/cm-super/cm-super-ts1.enc}] (./ex-rapport.bbl) [2] (./ex-rapport.aux) + *********** +LaTeX2e <2023-11-01> patch level 1 +L3 programming layer <2024-02-20> + *********** + ) +Here is how much of TeX's memory you used: + 520 strings out of 476076 + 9772 string characters out of 5793775 + 1932187 words of memory out of 5000000 + 22687 multiletter control sequences out of 15000+600000 + 562866 words of font info for 52 fonts, out of 8000000 for 9000 + 14 hyphenation exceptions out of 8191 + 35i,6n,50p,213b,197s stack positions out of 10000i,1000n,20000p,200000b,200000s + +Output written on ex-rapport.pdf (2 pages, 146670 bytes). +PDF statistics: + 82 PDF objects out of 1000 (max. 8388607) + 49 compressed objects within 1 object stream + 0 named destinations out of 1000 (max. 500000) + 1 words of extra memory for PDF output out of 10000 (max. 10000000) + diff --git a/RapportPresentation/ex-rapport.pdf b/RapportPresentation/ex-rapport.pdf new file mode 100644 index 0000000..de30306 Binary files /dev/null and b/RapportPresentation/ex-rapport.pdf differ diff --git a/RapportPresentation/ex-rapport.synctex.gz b/RapportPresentation/ex-rapport.synctex.gz new file mode 100644 index 0000000..70e0bb2 Binary files /dev/null and b/RapportPresentation/ex-rapport.synctex.gz differ diff --git a/RapportPresentation/ex-rapport.tex b/RapportPresentation/ex-rapport.tex new file mode 100644 index 0000000..5dfe9b4 --- /dev/null +++ b/RapportPresentation/ex-rapport.tex @@ -0,0 +1,104 @@ +\documentclass{article} + +\usepackage[utf8]{inputenc} +%%\usepackage[francais]{babel} installer texlive-lang-french pour cela + +% ci-dessous: commenté car non offert sur les machines libre-service. +% décommentez si vous le souhaitez. +%\usepackage[french]{babel} + +% pour compiler: + +% faire pdflatex ex-rapport +% (si les references aux numeros de parties apparaissent comme des +% "?", recompiler une fois) + +% la compilation de la bibliographie est davantage une "incantation": +% faire bibtex ex-biblio +% puis pdflatex ex-rapport (un nombre premier de fois) + + +% vous pouvez ensuite ouvrir le fichier ex-rapport.pdf + + + + +% elements du titre +\title{Pieuvre: le mini assitant de preuve} +\author{Marwan et Augustin} +\date{} + + +% definition de quelques macros, pour les maths +\newcommand{\litt}{\alpha} +\newcommand{\non}[1]{\overline{#1}} + +\begin{document} + +\maketitle + +\section{Présentation} + +Nous avons programmé \textbf{en D}, en interfaçant notre programme +avec des morceaux d'assembleur que nous avons écrits à la main, entre +3 et 4 heures du matin uniquement sinon ça ne compte pas. + + + +Nous exposons à la partie~\ref{s:orga} comment notre programme est structuré. + + +Un peu de maths en \LaTeX: voici un exemple de formule~: +$$ +\sum_{i\geq 0} \litt_1\lor\non{\litt_2}\lor\litt_4 +$$ +On remarque au passage que $\non{\non{\litt}}$ est pareil que $\litt$. + +\section{Organisation du code} +\label{s:orga} + +Le code est structuré de la manière suivante~: +\begin{itemize} +\item bli +\item bla +\item blo +\item Digression à propos des Mustélidés. +\end{itemize} + +\section{Critique des performances} + +On constate que blibla. + + +On est par ailleurs capable de citer des références, ainsi~: \cite{ProjInt16}. + +\medskip + +Pour citer une référence bibliographique, il faut insérer les +informations correspondantes au format BibTeX dans le fichier +\texttt{ex-biblio.bib}, et puis faire la citation en utilisant la +commande \verb+\cite{tititoto}+. + +Ensuite, on compile de la manière suivante~: +\begin{enumerate} +\item \texttt{pdflatex ex-rapport} + +et là il proteste, car il a vu une citation de \texttt{tititoto}, mais +ne sait pas à quoi cela fait référence + +\item \texttt{bibtex ex-rapport} + +et là il met ensemble les informations pour savoir engendrer +l'information correspondant à la citation de \texttt{tititoto} + +\item \texttt{pdflatex ex-rapport} + +et là il peut engendrer le fichier pdf, avec la bonne citation et la +bonne description dans les références +\end{enumerate} + + +\bibliographystyle{plain} +\bibliography{ex-biblio} + +\end{document}