From 31e47cd5b5d87159d2520504e838efba290041e1 Mon Sep 17 00:00:00 2001 From: Sergiu Ivanov Date: Mon, 17 Apr 2023 21:28:18 +0200 Subject: [PATCH] Update sectioning. --- recherche.tex | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/recherche.tex b/recherche.tex index 0f00ada..6eae99a 100644 --- a/recherche.tex +++ b/recherche.tex @@ -827,7 +827,7 @@ généraux de toute sorte. L'objectif de ce stage est d'établir un cadre formel général pour la contrôlabilité des réseaux booléens à base des systèmes à membranes. -\subsection{Transitions de phase dans les systèmes complexes} +\subsubsection{Transitions de phase dans les systèmes complexes} \noindent \hspace{2.7mm} {\renewcommand{\arraystretch}{1.3}% @@ -878,7 +878,7 @@ recherche. Dans un second temps, le stagiaire développera un prototype de simulateur de réseaux booléens en Racket : un langage de programmation fonctionnelle typé de la famille Lisp. -\subsection{Simulation logicielle de modèles d'auto-assemblage d'ADN} +\subsubsection{Simulation logicielle de modèles d'auto-assemblage d'ADN} \noindent \hspace{2.7mm} {\renewcommand{\arraystretch}{1.3}% @@ -920,7 +920,7 @@ abstract Tile Assembly Model. À l'issue de cette lecture, le stagiaire développera un prototype de simulateur de modèle aTAM en Racket : un langage de programmation fonctionnelle typé de la famille Lisp. -\subsection{Auto-assemblage d'ADN et les grammaires de tableaux} +\subsubsection{Auto-assemblage d'ADN et les grammaires de tableaux} \noindent \hspace{2.7mm} {\renewcommand{\arraystretch}{1.3}%