\documentclass[12pt,a4paper]{article}

% Packages essentiels
\usepackage[utf8]{inputenc}
\usepackage[french]{babel}
\usepackage[T1]{fontenc}
\usepackage{geometry}
\geometry{left=2.5cm,right=2.5cm,top=2.5cm,bottom=2.5cm}

% Packages mathématiques
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{mathtools}

% Packages graphiques
\usepackage{graphicx}
\usepackage{float}
\usepackage{subcaption}
\usepackage{tikz}
\usetikzlibrary{shapes,arrows,positioning,calc}

% Packages pour le code
\usepackage{listings}
\usepackage{xcolor}

% Configuration des listings
\definecolor{codegreen}{rgb}{0,0.6,0}
\definecolor{codegray}{rgb}{0.5,0.5,0.5}
\definecolor{codepurple}{rgb}{0.58,0,0.82}
\definecolor{backcolour}{rgb}{0.95,0.95,0.92}

\lstdefinestyle{mystyle}{
    backgroundcolor=\color{backcolour},
    commentstyle=\color{codegreen},
    keywordstyle=\color{magenta},
    numberstyle=\tiny\color{codegray},
    stringstyle=\color{codepurple},
    basicstyle=\ttfamily\footnotesize,
    breakatwhitespace=false,
    breaklines=true,
    captionpos=b,
    keepspaces=true,
    numbers=left,
    numbersep=5pt,
    showspaces=false,
    showstringspaces=false,
    showtabs=false,
    tabsize=2
}
\lstset{style=mystyle}

% Packages pour les tableaux
\usepackage{booktabs}
\usepackage{array}

% Packages pour les références
\usepackage{hyperref}
\hypersetup{
    colorlinks=true,
    linkcolor=blue,
    filecolor=magenta,
    urlcolor=cyan,
    citecolor=blue,
    pdftitle={Simulation de Réseau de Files d'Attente},
    pdfauthor={MED - Modélisation Incertitude et Simulation},
}

% Packages utilitaires
\usepackage{enumerate}

% Environnements théorèmes
\theoremstyle{definition}
\newtheorem{definition}{Définition}[section]
\newtheorem{theorem}{Théorème}[section]
\newtheorem{lemma}{Lemme}[section]
\newtheorem{proposition}{Proposition}[section]

% Commandes personnalisées
\newcommand{\E}{\mathbb{E}}
\newcommand{\Var}{\text{Var}}
\newcommand{\Prob}{\mathbb{P}}

% Informations du document
\title{
    \textbf{Simulation de Réseau de Files d'Attente} \\
    \large Modélisation d'une Base de Données Distribuée \\
    \large Validation Analytique par le Théorème de Jackson
}

\author{
    Projet Universitaire \\
    Cours: Modélisation Incertitude et Simulation \\
    Année Académique 2025-2026
}

\date{\today}

\begin{document}

\maketitle

\begin{abstract}
Ce rapport présente l'implémentation et l'analyse d'un simulateur de réseau de files d'attente modélisant une base de données distribuée. Le système est composé d'un coordinateur central distribuant les requêtes vers plusieurs serveurs selon des probabilités de routage. Une validation rigoureuse est effectuée en comparant les résultats de simulation avec les prédictions analytiques du théorème de Jackson. L'implémentation comprend un backend Python avec simulation événementielle discrète, une analyse analytique complète, et une interface web interactive avec visualisations avancées (séries temporelles et histogrammes). Cinq scénarios d'étude permettent d'explorer les conditions de stabilité, l'impact du nombre de serveurs, et la sensibilité aux paramètres. Les résultats montrent une concordance excellente entre simulation et théorie (différences < 5\%), validant ainsi notre approche de modélisation.

\textbf{Mots-clés:} Files d'attente, Théorème de Jackson, Simulation événementielle, M/M/1, Validation analytique, Base de données distribuée
\end{abstract}

\tableofcontents
\newpage

% Sections du rapport
\input{sections/01-introduction}
\input{sections/02-fondements-theoriques}
\input{sections/03-modelisation}
\input{sections/04-implementation}
\input{sections/05-scenarios}
\input{sections/06-resultats}
\input{sections/07-analyse}
\input{sections/08-conclusion}

% Bibliographie
\bibliographystyle{plain}
\bibliography{references}

% Annexes
\appendix
\input{sections/annexe-a-code}
\input{sections/annexe-b-resultats-detailles}

\end{document}
