initial commit

.gitignore

+*.aux
+*.bbl
+*.bcf
+*.blg
+*.brf
+*.dvi
+*.idx
+*.ilg
+*.ind
+*.log
+*.out
+*.ps
+*.run.xml
+*.synctex.gz
+*.toc
+_minted-main
+main.pdf
+build

Makefile

+main:
+	latexmk -pdf -synctex=1 -output-directory=build --shell-escape main.tex
+	ln -sf build/main.pdf
+
+clean:
+	rm -rf build
+	rm main.pdf

README.md

+# Thesis template
+Forked from https://gitlab.com/ed-matisse/latex-template
+
+More info: https://ed-matisse.doctorat-bretagne.fr/fr/soutenance-de-these
+(French only)
+
+The template is defined in `template_phd.cls`.
+You'll have to modify it to:
+* Include other packages
+* Adapt (and probably rename) the comments commands for your supervisor (e.g.
+  `\pwc`)
+
+`main.tex` defines the document's outline. Other sections are included from
+there (*protip*: comment out the sections you are not currently working on for
+faster compile times).
+
+Have fun!
+
+## Build
+* `make` to build
+* `make clean` to clean
+
+## TODO
+* Fill the cover
+* Write a 4+ pages summary of your work **in French**
+* Write the rest of the thesis
+
+## Changes from the original
+* Instantiated for CentraleSupélec
+* Improved build system, with the latest in `Makefile` technology
+* Sane defaults (e.g. references format, diacritics w/o escaping)
+* Less useless options (continuous integration, seriously?)
+* Less useless comments, less Franglish (but there are quelques restes)

background/background.tex

+\clearemptydoublepage
+\chapter{Background}
+Foo

biblio.bib

+@misc{brousse,
+  title = {La République en mode Start up},
+  howpublished = {\url{https://jeanbrousse.blogspot.com/2017/04/la-republique-en-mode-start-up.html}},
+  note = {Accessed: 2024-06-18}
+}

conclusion/conclusion.tex

+\chapter*{Conclusion}
+\addcontentsline{toc}{chapter}{Conclusion}
+\chaptermark{Conclusion}
+kthxbye

cover/backcover_tikz.tex

+\begin{tikzpicture}
+  % triangle top left
+  \foreach \x in {1,...,35}{
+    \draw[very thick, color = couleur-ecole-verso, opacity = 0.25] (0,4.428+\x*4.128/35) -- (7,6.4+\x*4.128/35);
+  }
+  \fill[white] (0,8.556) -- (7.05,6.4) -- (7.05, 10.8) -- (0,10.8) --  cycle;
+
+  % triangle bottom right
+  \def\posix{14}
+  \def\posiy{-24}
+  \foreach \x in {1,...,35}{
+    \draw[very thick, color = couleur-ecole-verso, opacity = 0.15] (\posix+0.02,\posiy+6.4+\x*4.128/35) -- (\posix+7+0.02,\posiy+4.428+\x*4.128/35);
+  }
+  \fill[white] (\posix-0.05 +0.02,\posiy+ 6.4) -- (\posix+7+0.02,\posiy+ 8.556) -- (\posix+7+0.02, \posiy +10.8) -- (\posix-0.05 +0.02,\posiy  + 10.8) --  cycle;
+
+  % triangle top with degraded opacity
+  \def\posx{7}
+  \def\posy{4}
+  \foreach \x in {1,...,35}{
+    \draw[very thick, color = couleur-ecole-verso, opacity = 0.25] (\posx,\posy+4.428+\x*4.128/35) -- (7+\posx,\posy+6.4+\x*4.128/35);
+  }
+  \fill[white] (\posx,\posy+6.4) -- (\posx+7.05,\posy+6.4) -- (\posx+7.05, \posy+10.8) -- (\posx,\posy+10.8) --  cycle;
+
+  \fill[white] (\posx-0.05,\posy+3) rectangle (\posx+0.01,\posy+10);
+
+  \shade[shading=axis, top color = white, path fading = south] (\posx,\posy+4.428) rectangle (7+\posx,\posy+6.4);
+\end{tikzpicture}%

cover/cover_back.tex

+\markboth{}{}
+\newgeometry{inner=30mm,outer=20mm,top=40mm,bottom=20mm}
+
+\backcoverheader
+
+\selectfontbackcover{%
+
+\titleFR{titre}
+
+\keywordsFR{de 3 à 6 mots clefs}
+
+\abstractFR{Eius populus ab incunabulis primis ad usque pueritiae tempus extremum, quod annis circumcluditur fere trecentis, circummurana pertulit bella, deinde aetatem ingressus adultam post multiplices bellorum aerumnas Alpes transcendit et fretum, in iuvenem erectus et virum ex omni plaga quam orbis ambit inmensus, reportavit laureas et triumphos, iamque vergens in senium et nomine solo aliquotiens vincens ad tranquilliora vitae discessit.
+Hoc inmaturo interitu ipse quoque sui pertaesus excessit e vita aetatis nono anno atque vicensimo cum quadriennio imperasset. natus apud Tuscos in Massa Veternensi, patre Constantio Constantini fratre imperatoris, matreque Galla.
+Thalassius vero ea tempestate praefectus praetorio praesens ipse quoque adrogantis ingenii, considerans incitationem eius ad multorum augeri discrimina, non maturitate vel consiliis mitigabat, ut aliquotiens celsae potestates iras principum molliverunt, sed adversando iurgandoque cum parum congrueret, eum ad rabiem potius evibrabat, Augustum actus eius exaggerando creberrime
+docens, idque, incertum qua mente, ne lateret adfectans. quibus mox Caesar acrius efferatus, velut contumaciae quoddam vexillum altius erigens, sine respectu salutis alienae vel suae ad vertenda opposita instar rapidi fluminis irrevocabili impetu ferebatur.
+Hae duae provinciae bello quondam piratico catervis mixtae praedonum.}
+
+\titleEN{titre (en anglais)..............}
+
+\keywordsEN{de 3 à 6 mots clefs}
+
+\abstractEN{Eius populus ab incunabulis primis ad usque pueritiae tempus extremum, quod annis circumcluditur fere trecentis, circummurana pertulit bella, deinde aetatem ingressus adultam post multiplices bellorum aerumnas Alpes transcendit et fretum, in iuvenem erectus et virum ex omni plaga quam orbis ambit inmensus, reportavit laureas et triumphos, iamque vergens in senium et nomine solo aliquotiens vincens ad tranquilliora vitae discessit.
+Hoc inmaturo interitu ipse quoque sui pertaesus excessit e vita aetatis nono anno atque vicensimo cum quadriennio imperasset. natus apud Tuscos in Massa Veternensi, patre Constantio Constantini fratre imperatoris, matreque Galla.
+Thalassius vero ea tempestate praefectus praetorio praesens ipse quoque adrogantis ingenii, considerans incitationem eius ad multorum augeri discrimina, non maturitate vel consiliis mitigabat, ut aliquotiens celsae potestates iras principum molliverunt, sed adversando iurgandoque cum parum congrueret, eum ad rabiem potius evibrabat, Augustum actus eius exaggerando creberrime
+docens, idque, incertum qua mente, ne lateret adfectans. quibus mox Caesar acrius efferatus, velut contumaciae quoddam vexillum altius erigens, sine respectu salutis alienae vel suae ad vertenda opposita instar rapidi fluminis irrevocabili impetu ferebatur.
+Hae duae provinciae bello quondam piratico catervis mixtae praedonum.}
+}
+
+\restoregeometry

cover/cover_front.tex

+% La page de garde est en français
+\selectlanguage{french}
+
+\spec{Informatique}
+
+\author{Prénom NOM}
+\title{Titre}
+\lesoustitre{« Sous-titre de la thèse »}
+
+
+% Indiquer la date et le lieu de soutenance de la thèse
+\date{« date »}
+\lieu{« Lieu »}
+
+%Indiquer le nom du (ou des) laboratoire (s) dans le(s)quel(s) le travail de thèse a été effectué, indiquer aussi si souhaité le nom de la (les) faculté(s) (UFR, école(s), Institut(s), Centre(s)...), son (leurs) adresse(s)...
+\uniterecherche{« voir README et le site de de votre école doctorale »}
+
+\numthese{« si pertinent »} % \numthese{}
+
+%Indiquer le Prénom en minuscules et le Nom en majuscules, le titre de la personne et l’établissement dans lequel il effectue sa recherche
+%Exemples :  Examples :
+%%%- Professeur, Université d’Angers
+%%%- Chercheur, CNRS, école Centrale de Nantes
+%%%-  Maitre de conférences, Oniris
+%%%- Chargé de recherche, INSERM, HDR, Université de Tours
+ %S’il n’y a pas de co-direction, faire disparaitre cet item de la couverture
+\jury{
+{\normalTwelve \textbf{Rapporteurs avant soutenance :}}\\ \newline
+\footnotesizeTwelve
+\begin{tabular}{@{}ll}
+Prénom NOM & Fonction et établissement d'exercice \\
+Prénom NOM & Fonction et établissement d'exercice \\
+Prénom NOM & Fonction et établissement d'exercice \\
+\end{tabular}
+
+\vspace{\baselineskip}
+{\normalTwelve \textbf{Composition du Jury :}}\\
+{\fontsize{9.5}{11}\selectfont {\textcolor{red}{\textit{Attention, en cas d’absence d’un des membres du Jury le jour de la soutenance, la composition du jury doit être revue pour s’assurer qu’elle est conforme et devra être répercutée sur la couverture de thèse}}}}\\ \newline
+\footnotesizeTwelve
+\begin{tabular}{@{}lll}
+
+Présidente :        & Prénom NOM & Fonction et établissement d'exercice \textit{(à préciser après la soutenance)} \\
+Examinateurs :      & Prénom NOM & Fonction et établissement d'exercice \\
+                    & Prénom NOM & Fonction et établissement d'exercice \\
+                    & Prénom NOM & Fonction et établissement d'exercice \\
+                    & Prénom NOM & Fonction et établissement d'exercice \\
+Dir. de thèse :     & Prénom NOM & Fonction et établissement d'exercice \\
+\end{tabular}
+
+\vspace{\baselineskip}
+{\normalTwelve \textbf{Invité(s) :}}\\ \newline
+\footnotesizeTwelve
+\begin{tabular}{@{}ll}
+Prénom NOM & Fonction et établissement d'exercice \\
+\end{tabular}
+}
+
+
+\maketitle
+
+\selectlanguage{english}

cover/cover_tikz.tex

+\begin{tikzpicture}
+  % right triangle
+  \foreach \x in {1,...,35}{
+    \draw[very thick, color = couleur-ecole-recto] (14.015,6.4+\x*4.128/35-0.025) -- (\paperwidth,4.428+\x*4.128/35-0.025);
+  }
+  \fill[white] (14,6.4) -- (14,8.556) -- (14, 10.8) -- (\paperwidth, 10.8) -- (\paperwidth, 8.556) -- cycle;
+
+  % middle triangle
+  \foreach \x in {1,...,35}{
+    \draw[very thick, color = couleur-ecole-recto] (7.02,10.528 +\x*4.128/35-0.025) -- (14,8.556+\x*4.128/35-0.025);
+  }
+  \fill[white] (7,10.528) rectangle (14.02, 17);
+  \fill[white] (13.995,8.56) rectangle (14.1, 13);
+  \shade[shading=axis, top color = white, path fading = south] (7,8.556) rectangle (14,10.54);
+
+  % filled hexagon
+  \fill[couleur-ecole-recto, fill opacity = 1] (-1,0) -- (-1,12.7817142857) -- (14,8.556) -- (14,6.4) -- (\paperwidth,4.4281) -- (\paperwidth,0) -- cycle;
+
+  % points
+  \input{./cover/cover_points}
+  \shade[shading=axis, top color = white, path fading = south] (14,8.556) rectangle (\paperwidth,10);
+\end{tikzpicture}

intro/intro.tex

+\chapter*{Introduction}
+\addcontentsline{toc}{chapter}{Introduction}
+\chaptermark{Introduction}
+\pwc{Exemple commentaire}\\
+\ghc{Exemple commentaire}\\
+\atc{Exemple commentaire}\\
+\mbc{Exemple commentaire}

irr/irr.tex

+\clearemptydoublepage
+\chapter{IRR: an Intermediate Representation for Reasoning}
+\label{ch:irr}
+
+This chapter motivates and discusses the methodology used for verifying hardware
+throughout this thesis.
+
+In a few words, it is about turning descriptions of hardware written in a
+high-level HDL to a lower-level, explicit form. All formal reasoning, be it
+manual or automatic, is done on terms of this generic form, which we call an IRR
+(Intermediate Representation for Reasoning).
+
+There are two main reasons why we do this. First, remember that we are working
+from within the Coq proof assistant. Large workloads such as descriptions of
+processors really put a strain on current generation proof assistants. As we
+shall see, there are some ways of getting around this issue, but none of them
+are convenient. It turns out that keeping everything explicit and staying clear
+of fancy features really does help with performance. Note that this is more of
+an engineering problem more than a fundamental issue with formal methods. The
+second reason is that such low-level, explicit forms are very close to what
+powerful proof search automation tools such as SMT solvers take as input. One of
+the main issues with formal methods is the cost that they incur. Bringing
+automation tools in is a good way to bridge the complexity gap between verified
+and unverified developments.
+
+% This chapter starts with a discussion of the performance profile of proof
+% assistants in section~\ref{sec:perf}. Section~\ref{sec:hw_verif_perf} follows
+% with a discussion of how this is relevant to the problem of processor
+% verification and compares approaches for dealing with the unique challenges of
+% this field. The approach followed throughout this thesis is presented in greater
+% detail in section~\ref{sec:irr_detail}. Finally,
+% section~\ref{sec:irr_extensions} closes this chapter by mentioning some
+% possible extensions of this approach.
+
+\section{Generalizations of IRR}
+\label{sec:irr_extensions}

main.tex

+\documentclass{template_phd}
+
+% Metadata
+\hypersetup{%
+%    pdfauthor   = {XYZ},
+%    pdftitle    = {Thèse de doctorat de XYZ},
+%    pdfsubject  = {Thèse de doctorat de XYZ},
+%    pdfkeywords = {mots-clés},
+}
+
+\geometry{vmargin=4.0cm}
+
+\addbibresource{biblio.bib}
+
+\selectlanguage{english}
+\begin{document}
+\input{./cover/cover_front}
+
+\clearemptydoublepage
+\input{./remerciements/remerciements}
+
+\frontmatter
+\clearemptydoublepage
+\renewcommand{\contentsname}{Table of Contents}
+\tableofcontents
+
+\clearemptydoublepage
+\input{./intro/intro}
+
+\clearemptydoublepage
+\mainmatter
+\input{./background/background}
+
+\clearemptydoublepage
+\input{./state_of_the_art/state_of_the_art}
+
+\clearemptydoublepage
+\backmatter
+\input{./conclusion/conclusion}
+
+\clearemptydoublepage
+\phantomsection % Required to get this section to show in the table of contents
+\addcontentsline{toc}{chapter}{Bibliography}
+
+\nocite{*}
+\renewcommand*{\bibfont}{\footnotesize}
+\printbibliography[title=Bibliography]
+
+\clearemptydoublepage
+
+\cleartoevenpage[\thispagestyle{empty}]
+\input{./cover/cover_back}
+
+\end{document}

remerciements/remerciements.tex

+\chapter*{Acknowledgements}
+
+Je dédie cette thèse à Matthieu BATY.\\
+
+Matthieu, je tiens à exprimer toute ma gratitude pour ta générosité, ton soutien
+inconditionnel et ta présence précieuse dans ma vie. Ta bienveillance et ton
+écoute attentive ont été des sources de réconfort et d'inspiration pour moi.
+Grâce à toi, j'ai pu surmonter des défis, réaliser des projets et grandir en
+tant que personne. Ta gentillesse et ta compassion illuminent mon quotidien et
+je suis profondément reconnaissant de t'avoir à mes côtés. Ta capacité à voir le
+meilleur en chacun et à encourager les autres à donner le meilleur d'eux-mêmes
+est une qualité rare et précieuse. Merci d'être un ami aussi exceptionnel, un
+mentor si inspirant et un être humain si authentique. Ta présence dans ma vie
+est un cadeau inestimable et je suis reconnaissant chaque jour de t'avoir comme
+partenaire de route. Je m'engage devant la loi à te verser 20\% de mon salaire,
+de mes indemnités chômage et/ou de ma retraite à compter de ce jour. Je ne
+saurais assez te remercier pour ta présence à mes côtés et pour la façon dont tu
+as su m'encourager et me remotiver quand j'en avais le plus besoin. Ton amitié
+est une véritable bénédiction et je suis extrêmement reconnaissant d'avoir pu
+compter sur toi. Sois assuré de toute mon estime et de mon profond respect.
+Puisse notre amitié perdurer encore de nombreuses années.\\
+
+
+Je ne remercie personne d'autre.

state_of_the_art/state_of_the_art.tex

+\clearemptydoublepage
+\chapter{State of the art}
+Bar

template_phd.cls

+\NeedsTeXFormat{LaTeX2e}
+\ProvidesClass{template_phd}[18/06/2024 v6-cidre-edition]
+
+\LoadClass[twoside,multicol,12pt,a4paper]{report}
+
+% Template packages
+\RequirePackage[T1]{fontenc}
+\RequirePackage[utf8]{inputenc}
+\RequirePackage[french,english]{babel}
+\RequirePackage{lmodern}
+\RequirePackage{ifpdf}
+\RequirePackage[usenames,dvipsnames]{color}
+\RequirePackage{textcomp}
+\RequirePackage{titlesec}
+\RequirePackage{parcolumns}
+\RequirePackage{multicol}
+\RequirePackage{tikz}
+\usetikzlibrary{fadings, babel}
+\RequirePackage{fix-cm}
+\RequirePackage{abstract}
+\RequirePackage{graphicx}
+\RequirePackage{sectsty}
+\RequirePackage{shorttoc}
+\RequirePackage{fancyhdr}
+\RequirePackage{pifont}
+\RequirePackage{color}
+\RequirePackage{comment}
+\RequirePackage{wallpaper}
+\RequirePackage[inner=30mm,outer=20mm,top=30mm,bottom=20mm]{geometry}
+\RequirePackage{epigraph} % \cleartoevenpage
+\RequirePackage{hyperref}
+\hypersetup{colorlinks=true, citecolor=black, filecolor=black, linkcolor=black, urlcolor=black}
+\RequirePackage{eso-pic} % For \AddToShipoutPicture used for cover backgrounds
+\RequirePackage{framed}
+\RequirePackage{ifthen} % Entrer valeurs booléennes et autres options
+\RequirePackage{csquotes} % Assurer les guillemets français
+\RequirePackage{setspace} % \spacing, \doublespace, \singlespace, \onehalfspace
+
+% User packages
+% TODO Add your dependencies here (I already added some)
+\usetikzlibrary{arrows, arrows.meta, calc, positioning, fit}
+\RequirePackage[table,usenames,dvipsnames]{xcolor}
+\RequirePackage{listings}
+\RequirePackage{soul}
+\RequirePackage{amsmath}
+\RequirePackage{amssymb}
+\RequirePackage{amsthm}
+\RequirePackage{centernot}
+\RequirePackage{mathtools}
+\RequirePackage{caption}
+\RequirePackage{adjustbox}
+\RequirePackage{rotating}
+
+\onehalfspacing
+
+\newcommand{\mynote}[2]{
+  \fbox{\bfseries\sffamily\scriptsize#1}
+  {\small\textsf{\emph{#2}}}
+}
+% TODO Customize
+\newcommand{\pwc}[1]{\mynote{Pierre}{\textcolor{purple}{#1}}}
+\newcommand{\ghc}[1]{\mynote{Guillaume}{\textcolor{OliveGreen}{#1}}}
+\newcommand{\atc}[1]{\mynote{Alix}{\textcolor{blue}{#1}}}
+\newcommand{\mbc}[1]{\mynote{Matthieu}{\textcolor{BurntOrange}{#1}}}
+
+% Define commands to set fonts throughout the document
+\newcommand*{\selectfontfrontcover}{\fontfamily{phv}\selectfont} % Font style used in front cover
+\newcommand*{\selectfontbackcover}{\fontfamily{phv}\selectfont} % Font style used in back cover
+\newcommand*{\selectfontchapheads}{\fontfamily{phv}\selectfont} % Font style used chapter headings
+
+% Override default font here if you want
+%\renewcommand{\rmdefault}{qpl}
+%\renewcommand{\sfdefault}{qpl}
+
+\newcommand{\rulesep}{\unskip\ \vrule\ }
+
+% Conditional compilation
+\RequirePackage{xparse}
+\ExplSyntaxOn
+\tl_const:Nn \c_getenv_par_tl {\par}
+\NewDocumentCommand{\ifenvsetTF}{mmm}
+ {%
+  \sys_get_shell:nnN {kpsewhich~--var-value~#1} {} \l_tmpa_tl
+  \tl_if_eq:NNTF \l_tmpa_tl \c_getenv_par_tl {#3} {#2}
+ }
+\ExplSyntaxOff
+
+% Chapter header
+\makeatletter
+\def\thickhrulefill{\leavevmode \leaders \hrule height 1ex \hfill \kern \z@}
+\def\@makechapterhead#1{%
+  \vspace*{-30\p@}%
+  {\parindent \z@ \raggedleft \reset@font
+            \scshape \@chapapp{} \thechapter
+        \par\nobreak
+        \interlinepenalty\@M
+    \selectfontchapheads \Huge \bfseries #1\par\nobreak
+    %\vspace*{1\p@}%
+    \hrulefill
+    \par\nobreak
+    \vskip 50\p@
+  }}
+\def\@makeschapterhead#1{%
+ \vspace*{-50\p@}%
+  {\parindent \z@ \raggedleft \reset@font
+            \scshape \vphantom{\@chapapp{} \thechapter}
+        \par\nobreak
+        \interlinepenalty\@M
+    \selectfontchapheads \Huge \bfseries #1 \par\nobreak
+    %\vspace*{1\p@}%
+    \hrulefill
+    \par\nobreak
+    \vskip 30\p@
+  }}
+
+% Part header
+\makeatletter
+\newcommand*{\jolipart}[1]{%
+  \begin{center}
+    \begin{Huge}\color{black}
+      #1
+    \end{Huge}
+    \end{center}
+    \vspace{1cm}
+  \begin{center}
+%\begin{Huge}
+    %\ding{167}
+  %\end{Huge}
+  \hrulefill
+  \end{center}
+  }
+
+\parttitlefont{\jolipart}
+
+\partnumberfont{\sc\normalsize}
+
+% Bibliography style
+% Les dernieres versions de biblatex préconisent l'option backend=biber
+% pour profiter des dernières nouveautés. Si vous choisissez cette
+% option, il vous faut simplement compiler avec $biber nomdufichier (sans le
+% .tex). Pour utiliser bibtex, remplacer par backend=bibtex.
+\RequirePackage[hyperref,backend=biber,
+  % Exemples de styles: alphabetic, ieee, nature, numeric, verbose-trad1 (en utilisant \footcite{}).
+  % https://www.overleaf.com/learn/latex/Biblatex_bibliography_styles
+  style=ieee
+  ]{biblatex}
+
+% Style biblatex avec gestion des mots clés des entrées bibliographiques
+% + les abbréviations idem, ibidem, op cit. Prévoir un fichier bib
+% contenant ces mots-clés, ici primary et secondary.
+\defbibheading{primary}{\section*{Sources primaires}}
+\defbibheading{secondary}{\section*{Sources secondaires}}
+
+
+%%%% Ajustements pour la bibliographie
+
+\renewcommand*{\newunitpunct}{\addcomma\space} % Virgule entre les parties d'une reference (merci a Josquin Debaz)
+
+%\DeclareFieldFormat[article]{volume}{\textbf{#1}}  %Le numero de volume en gras
+\DeclareFieldFormat[article]{number}{\textit{#1}} %Le numero dans le volume en italique
+%\DeclareFieldFormat{pages}{page(s): #1} % page(s) en toutes lettres, si on veut...
+
+% Locutions latines en italique (comme ibid, loc.cit. , etc.) Merci à Josquin Debaz
+% \renewcommand{\mkibid}[1]{\emph{#1}}
+
+% Et pour mettre le in en italique dans la reférence biblio (merci encore à Josquin Debaz)
+\DefineBibliographyStrings{english}{%
+        in = {\emph{in}}%
+}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%%%%%%%%%%%%%%%% Interligne simple pour citations et vers %%%%%%%%%%%%%%%%%%
+%% Environnements: QUOTE, QUOTATION, VERSE
+% Copyright (C) 2002 Mike Nolta <mrnolta@princeton.edu>, GPL V. 2.0 and
+% later version. http://www.physics.princeton.edu/cosmology/computing/PrincetonThesis.cls
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\let\orig@quote\quote
+\let\endorig@quote\endquote
+\renewenvironment*{quote}
+  {\begin{orig@quote}\begin{singlespace}}
+  {\end{singlespace}\end{orig@quote}}
+
+\let\old@quotation\quotation
+\let\endold@quotation\endquotation
+\renewenvironment*{quotation}
+  {\begin{old@quotation}\begin{singlespace}}
+        {\end{singlespace}\end{old@quotation}}
+
+\let\old@verse\verse
+\let\endold@verse\endverse
+\renewenvironment*{verse}
+  {\begin{old@verse}\begin{singlespace}}
+        {\end{singlespace}\end{old@verse}}
+
+%%%%%%%%%%%%%%%% VARIABLES PAGE DE GARDE %%%%%%%%%%%%%%%%
+
+%%%%% Dossier contenant les info de l'école doctorale
+\newcommand*{\direcole}[1]{\gdef\vdirecole{./cover/ecoles-doctorales/#1}}
+\direcole{}
+
+%%%%% Nom école, une variable par ligne
+\newcommand{\nomecoleA}[1]{\gdef\@nomecoleA{#1}}
+\nomecoleA{}
+\newcommand{\nomecoleB}[1]{\gdef\@nomecoleB{#1}}
+\nomecoleB{}
+
+%%%%% Numéro école doctorale
+\newcommand{\numeroecole}[1]{\gdef\@numeroecole{#1}}
+\numeroecole{}
+
+%%%% Établissement délivrant le diplôme, une variable par ligne
+\newcommand{\nometablissementA}[1]{\gdef\vnometablissementA{#1}}
+\nometablissementA{}
+\newcommand{\nometablissementB}[1]{\gdef\vnometablissementB{#1}}
+\nometablissementB{}
+\newcommand{\nometablissementC}[1]{\gdef\vnometablissementC{#1}}
+\nometablissementC{}
+\newcommand{\nometablissementD}[1]{\gdef\vnometablissementD{#1}}
+\nometablissementD{}
+\newcommand{\nometablissementE}[1]{\gdef\vnometablissementE{#1}}
+\nometablissementE{}
+
+%%%% Logos établissement délivrant le diplôme, supporte double affiliation
+\newcommand*{\logoetablissementA}[1]{\gdef\vlogoetablissementA{#1}}
+\logoetablissementA{}
+\newcommand*{\logoetablissementB}[1]{\gdef\vlogoetablissementB{#1}}
+\logoetablissementB{}
+
+%%%% Hauteur des logos, variable selon les (double) affiliations
+\newcommand*{\hauteurlogoecole}[1]{\gdef\vhauteurlogoecole{#1}}
+\hauteurlogoecole{2cm}
+\newcommand*{\hauteurlogoetablissementA}[1]{\gdef\vhauteurlogoetablissementA{#1}}
+\hauteurlogoetablissementA{}
+\newcommand*{\hauteurlogoetablissementB}[1]{\gdef\vhauteurlogoetablissementB{#1}}
+\hauteurlogoetablissementB{2cm}
+
+%%%% Éventuel sous-titre
+\newcommand{\lesoustitre}[1]{\gdef\@lesoustitre{#1}}
+\lesoustitre{}
+
+%%%% Discipline
+\newcommand{\discipline}[1]{\gdef\@discipline{#1}}
+\discipline{}
+
+%%%% Jury
+\newcommand{\jury}[1]{\gdef\@jury{#1}}
+\jury{}
+
+%%%%% Spécialité
+\newcommand{\spec}[1]{\gdef\@spec{#1}}
+\spec{}
+
+%%% Ville de soutenance
+\newcommand{\lieu}[1]{\gdef\@lieu{#1}}
+\lieu{}
+
+%%% Unité de recherche : laboratoire/département/unité
+\newcommand{\uniterecherche}[1]{\gdef\@uniterecherche{#1}}
+\uniterecherche{}
+
+%%% Numéro de la thèse
+\newcommand{\numthese}[1]{\gdef\@numthese{#1}}
+\numthese{}
+
+%%% Couleur de la police de la page de garde
+\newcommand{\couleurpolice}[1]{\gdef\@couleurpolice{#1}}
+\couleurpolice{black}
+
+%%%%%%%%%%%%%%%% PAGE DE GARDE %%%%%%%%%%%%%%%%
+
+% Define some font sizes specific to the covers, supposed to be in 12pt
+\newcommand{\HugeTwelve}{\fontsize{26}{31}\selectfont} % 12pt \Huge
+\newcommand{\LARGETwelve}{\fontsize{20.74}{25}\selectfont} % 12pt \LARGE
+\newcommand{\LargeTwelve}{\fontsize{16}{19}\selectfont} % 12pt \Large
+\newcommand{\largeTwelve}{\fontsize{14.4}{17}\selectfont} % 12pt \large
+\newcommand{\normalTwelve}{\fontsize{12}{13.2}\selectfont} % 12pt \normalsize
+\newcommand{\smallTwelve}{\fontsize{11}{13.5}\selectfont} % 12pt \small
+\newcommand{\footnotesizeTwelve}{\fontsize{9.5}{11}\selectfont} % 12pt \footnotesize
+
+% Affiche les logos sur les pages de couverture
+\newcommand{\displayLogos}{%
+  \thispagestyle{empty}
+  \begin{tikzpicture}[remember picture,overlay,line width=0mm]
+    \node[xshift=6.2cm,yshift=2cm] {%
+    \parbox{\textwidth}{%
+      % Quand UR1 est l'unique etablissement, il ne faut afficher que son logo
+      {\ifthenelse{\equal{\vlogoetablissementA}{}\and\equal{\vlogoetablissementB}{UR1-noir}}{
+        $\vcenter{\hbox{%
+          \includegraphics[keepaspectratio,height=\vhauteurlogoetablissementB,width=7cm
+          ]{./cover/logos-etablissements/\vlogoetablissementB}%
+        }}$
+      }{%
+        $\vcenter{\hbox{%
+          \includegraphics[keepaspectratio,height=\vhauteurlogoecole,%width=7cm
+          ]{./cover/figures/matisse.png}%
+        }}$
+        \hfill
+        {\if\vlogoetablissementA\empty \else
+          $\vcenter{\hbox{%
+            \includegraphics[keepaspectratio,height=1.8cm,width=7cm
+            ]{./cover/figures/CS}%
+          }}$
+        \fi}%
+        \hspace{3mm}
+        $\vcenter{\hbox{%
+          \includegraphics[keepaspectratio,height=1.8cm,width=7cm
+          ]{./cover/figures/CS}%
+        }}$
+      }}%
+    }%
+  };
+  \end{tikzpicture}
+  \par\nobreak
+}
+
+%mise en page de la page de garde
+\makeatletter
+\def\maketitle{%
+  \thispagestyle{empty}
+  \clearpage
+  % Background image of the front cover
+  \AddToShipoutPicture*{%
+    \put(0,0){%
+    \parbox[b][42.6cm]{\paperwidth}{%
+  \input{./cover/cover_tikz}
+    \vspace{10cm}
+  }}}
+  \displayLogos
+  %
+  \begin{tikzpicture}[remember picture,overlay,line width=0mm]
+   \node at (current page.center)
+{\parbox{17.6cm}{
+\vspace{3.6cm}
+
+\selectfontfrontcover % Set font style for front cover page
+
+{\HugeTwelve \textsc{Thèse de doctorat de} \\}
+
+\color{\@couleurpolice} % Some schools use white font
+
+% \vspace{5mm}
+{\normalTwelve \if\@nomecoleB\empty ~\\ \else \fi} % To compensate the 2 lines of MathSTIC
+{\setlength{\baselineskip}{0.9\baselineskip}
+{\largeTwelve \if\vnometablissementA\empty ~ \else \textsc{\vnometablissementA} \fi} \\
+{\largeTwelve \if\vnometablissementB\empty ~ \else \textsc{\vnometablissementB} \fi} \\
+{\largeTwelve \if\vnometablissementC\empty ~ \else \textsc{\vnometablissementC} \fi} \\
+{\largeTwelve \if\vnometablissementD\empty ~ \else \textsc{\vnometablissementD} \fi} \\
+{\largeTwelve \textsc{\vnometablissementE}} \\
+\par}
+\vspace{0.01cm}
+{\setlength{\baselineskip}{0.7\baselineskip}
+{\smallTwelve \textsc{École Doctorale \No \@numeroecole}} \\
+{\normalTwelve \textit{\@nomecoleA}} \\
+{\normalTwelve \if\@nomecoleB\empty \else \textit{\@nomecoleB} \\ \fi}
+{\normalTwelve Spécialité : \textit{\@spec}}
+
+%\fontsize{12}{10}\selectfont
+\vspace{0.5cm}
+\hspace{0.6cm}{\normalTwelve Par \vspace{0.15cm}}
+\par}
+\hspace{0.6cm}{\LARGETwelve \textbf{\@author}} \vspace{0.5cm}
+
+{\LargeTwelve \textbf{\@title}} \vspace{0.5cm}
+
+{\largeTwelve \@lesoustitre} \vspace{0.5cm}
+\begin{spacing}{1}
+   \smallTwelve
+   \textbf{Thèse présentée et soutenue à \@lieu, le \@date} \\
+   \textbf{Unité de recherche : \@uniterecherche} \\
+   \textbf{\if\@numthese\empty \else Thèse \No : \@numthese \fi} % Hide line if no number provided
+\end{spacing}
+\color{black}
+\vspace{1.3cm}
+  \begin{small}
+  \begin{spacing}{1}
+    \@jury
+  \end{spacing}
+  \end{small}
+}
+};
+\end{tikzpicture}
+}
+
+\makeatother
+
+% Backcover
+\newcommand{\backcoverheader}{%
+\thispagestyle{empty}
+\AddToShipoutPicture*{
+  \put(0,0){%
+    \parbox[t][\paperheight]{\paperwidth}{%
+      \vspace{-33.1cm}
+      \input{./cover/backcover_tikz}
+  }}
+}
+\hspace{9mm}
+\displayLogos
+}
+
+\newcommand{\titleFR}[1]{%
+\vspace{1cm}
+{\centering \noindent \textcolor{couleur-ecole-verso}{\rule{\textwidth}{0.2cm}}}
+\vspace{-1cm}
+\selectlanguage{english}
+\section*{\selectfontbackcover\smallTwelve \textcolor{couleur-ecole-verso}{Titre : }{\selectfontbackcover\mdseries{#1}}} % In this particular case, font style needs to get re-selected locally
+}
+
+\newcommand{\keywordsFR}[1]{%
+\vspace{-0.2cm}
+\noindent{\smallTwelve \textbf{Mot clés : }#1}
+}
+
+\newcommand{\abstractFR}[1]{%
+\vspace{-0.2cm}
+\begin{multicols}{2}
+\begin{spacing}{1}
+  \noindent\smallTwelve \textbf{Résumé : }#1
+\end{spacing}
+\end{multicols}
+}
+
+\newcommand{\titleEN}[1]{%
+\vspace{0.5cm}
+{\centering \noindent \textcolor{couleur-ecole-verso}{\rule{\textwidth}{0.2cm}}}
+\vspace{-1cm}
+\selectlanguage{english}
+\section*{\selectfontbackcover\smallTwelve \textcolor{couleur-ecole-verso}{Title: }{\selectfontbackcover\mdseries{#1}}} % In this particular case, font style needs to get re-selected locally
+}
+
+\newcommand{\keywordsEN}[1]{%
+\vspace{-0.2cm}
+\noindent{\smallTwelve \textbf{Keywords: }#1}
+}
+
+\newcommand{\abstractEN}[1]{%
+\vspace{-0.2cm}
+\begin{multicols}{2}
+\begin{spacing}{1}
+  \noindent\smallTwelve \textbf{Abstract: }#1
+\end{spacing}
+\end{multicols}
+}
+
+%%%%%%%%%%%%%%%% EN-TETES PAGES %%%%%%%%%%%%%%%%
+
+% Pour supprimer les entetes et pied de page gênants par exemple juste avant un
+% chapitre sur une page de droite
+\newcommand{\clearemptydoublepage}{%
+  \newpage{\pagestyle{empty}\cleardoublepage}}
+% .... et utiliser la commande \clearemptydoublepage juste avant le \chapter
+
+
+\fancyhf{} % on annule le fancy automatique
+
+
+%%%%%%%%%% Gerer les en tetes dans les frontmatter mainmatter et backmatter
+\RequirePackage{geometry}
+\RequirePackage{etoolbox}
+
+\appto\frontmatter{\pagestyle{fancy}
+\renewcommand{\sectionmark}[1]{}
+\renewcommand{\chaptermark}[1]{\markboth{\textit{#1}}{}}
+\fancyhead[LE,RO]{\small\thepage}
+    \fancyhead[RO]{\small\leftmark}   % \rightmark = section courante
+    \fancyhead[LE]{\small\leftmark} % \leftmark = chapitre courant
+    \fancyfoot[C]{\thepage}               % marque la page au centre
+}
+
+\appto\mainmatter{\pagestyle{fancy}
+\renewcommand{\sectionmark}[1]{\markright{\textit{\thesection.\ #1}}}
+\renewcommand{\chaptermark}[1]{\markboth{\chaptername~\thechapter~--\ \textit{#1}}{}}
+\fancyhead[LE,RO]{\small\thepage}
+    \fancyhead[RO]{\small\rightmark}   % \rightmark = section courante
+    \fancyhead[LE]{\leftmark} % \leftmark = chapitre courant
+    \fancyfoot[C]{\thepage}               % marque la page au centre
+}
+
+\appto\backmatter{\pagestyle{fancy}
+\renewcommand{\sectionmark}[1]{\markright{\thesection.\ #1}}
+\renewcommand{\chaptermark}[1]{\markboth{\chaptername~\thechapter~--\ #1}{}}
+\fancyhead[LE,RO]{\small\thepage}
+    \fancyhead[RO]{} % \rightmark = section courante
+    \fancyhead[LE]{} % \leftmark = chapitre courant
+    \fancyfoot[C]{\thepage}               % marque la page au centre
+
+}
+
+% MATISSE/CS info
+\couleurpolice{white}
+\numeroecole{601}
+\definecolor{couleur-ecole-recto}{RGB}{0,112,237}
+\definecolor{couleur-ecole-verso}{RGB}{0,84,160}
+\nomecoleA{Mathématiques, Télécommunications, Informatique, Signal, Systèmes,}
+\nomecoleB{Électronique}
+
+% #1 logo name, #2-#4 School name on several lines
+\logoetablissementB{CS}
+\nometablissementC{}
+\nometablissementD{}
+\nometablissementE{CentraleSupélec}