You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
 

30 lines
716 B

\begin{titlepage}
\begin{center}
\newcommand\important{\huge \scshape }
\newcommand\notimportant{\Large}
\newcommand\vspa[1]{\vspace*{#1\textheight}}
\important{} Partage d'implémentation, implémentation du partage:\\
une bibliothèque fonctorisée de diagrammes de décision binaires
\vspa{0.1}
\notimportant{} Rapport de travaux de recherche par\\
\important{} Léo \bsc{Andrès}\\
\vspa{0.02}
\notimportant{} 6 mai 2019\\
\vspa{0.1}
\notimportant{} Master 1 Informatique\\
\vspa{0.05}
\includesvg[width=100pt]{universite-paris-saclay.svg}\\
\vspa{0.1}
\notimportant{} Sous la direction de\\
\important{} Jean-Christophe~\bsc{Filliâtre}
\end{center}
\end{titlepage}