From 2194f699d6b477aa4f1758709b1327285d9795e3 Mon Sep 17 00:00:00 2001
From: Amaury JOLY <contact@amauryjoly.fr>
Date: Wed, 22 Oct 2025 12:16:40 +0000
Subject: [PATCH] rapportCSI

---
 docs/presentations/LIS/CSI2025/main.tex       | 252 ++++++++++++++++++
 .../LIS/CSI2025/rapport/main.tex              | 222 +++++++++++++++
 2 files changed, 474 insertions(+)
 create mode 100644 docs/presentations/LIS/CSI2025/main.tex
 create mode 100644 docs/presentations/LIS/CSI2025/rapport/main.tex

diff --git a/docs/presentations/LIS/CSI2025/main.tex b/docs/presentations/LIS/CSI2025/main.tex
new file mode 100644
index 0000000..d9fd030
--- /dev/null
+++ b/docs/presentations/LIS/CSI2025/main.tex
@@ -0,0 +1,252 @@
+\documentclass[aspectratio=169]{beamer}
+
+\usetheme{Madrid}
+\usefonttheme{professionalfonts}
+
+\usepackage[utf8]{inputenc}
+\usepackage[T1]{fontenc}
+\usepackage[french]{babel}
+\usepackage{mathtools,amssymb}
+\usepackage{microtype}
+\usepackage{pgfgantt}
+\usepackage{adjustbox}
+% Réduire la densité verticale par défaut
+% \ganttset{y unit chart=0.45cm, y unit title=0.6cm, bar height=0.35}
+
+% Acronymes utiles
+\newcommand{\EC}{\textsc{EC}}
+\newcommand{\CRDT}{\textsc{CRDT}}
+\newcommand{\PCDO}{\textsc{PCDO}}
+\newcommand{\RB}{\textsc{RB}}
+\newcommand{\ARB}{\textsc{ARB}}
+\newcommand{\BFT}{\textsc{BFT}}
+\newcommand{\DL}{\textsc{DL}}
+\newcommand{\AL}{\textsc{AL}}
+\newcommand{\ZT}{\textsc{ZT}}
+
+
+% =====================
+% Paramétrage générique et macros d'usage
+% ---------------------
+% Définir la fenêtre temporelle du diagramme (ISO 8601)
+\newcommand{\GanttSetup}[2]{% #1 = YYYY-MM-DD (début), #2 = YYYY-MM-DD (fin)
+  \def\GanttStart{#1}%
+  \def\GanttEnd{#2}%
+}
+% Evénement sur période
+% Usage : \Period[<opts pgfgantt>]{<label>}{<YYYY-MM-DD>}{<YYYY-MM-DD>}
+\newcommand{\Period}[4][]{\ganttbar[#1]{#2}{#3}{#4}}
+% Evénement ponctuel (jalon)
+% Usage : \Event[<opts pgfgantt>]{<label>}{<YYYY-MM-DD>}
+\newcommand{\Event}[3][]{\ganttmilestone[#1]{#2}{#3}}
+% Groupe (optionnel)
+% Usage : \Block[<opts>]{<label>}{<YYYY-MM-DD>}{<YYYY-MM-DD>}
+\newcommand{\Block}[4][]{\ganttgroup[#1]{#2}{#3}{#4}}
+
+% Style par défaut (sobre, lisible en salle)
+\ganttset{
+  calendar week text={},
+  time slot format=isodate,
+  vgrid, hgrid,
+  x unit=0.42cm,    % densité horizontale
+  y unit chart=0.45cm, y unit title=0.6cm, bar height=0.35,
+  bar/.append style={fill=blue!35},
+  group/.append style={fill=black!10},
+  milestone/.append style={fill=red!60},
+  bar label font=\scriptsize, group label font=\scriptsize, milestone label font=\scriptsize,
+  title label font=\footnotesize, title/.style={fill=black!5}
+}
+
+\title{2ème Comité de Suivi Individuel 2024-2025}
+\subtitle{Thèse CIFRE - Cohérence Faible pour le cloud zero-trust}
+\institute[AMU - LIS - Scille]{Université Aix-Marseille - LIS \and Scille} 
+% \logo{\includegraphics[height=0.5cm]{logo-lis.png} \hspace{2em} \includegraphics[height=0.5cm]{parsec.png}}
+\author[Amaury JOLY]{Amaury JOLY \\ \vspace{1em} \textbf{Encadrement :} Emmanuel GODARD, Corentin TRAVERS \\ \vspace{1em} \textbf{Comité de suivi :} Arnaud LABOUREL, Achour MOSTEFAOUI}
+\date{\today}
+
+\begin{document}
+
+\begin{frame}
+  \titlepage
+\end{frame}
+
+% Rajouter nombre d'heure recherche industrielle formation OK
+% Dire que le model CRDT et PCDO implique du RB OK
+% Usage de RB+DL=>ARB dans le cloud zero-trust
+% Etre plus claire sur les missions en cours avec Scille OK
+
+% Se renseigner sur l'état de l'art sur RB+DL=>ARB et PCDO
+
+% Voir avce Scille pour la poursuite de these
+
+% =======================
+\begin{frame}{Contexte de thèse (CIFRE)}
+  \begin{itemize}
+    \item Démarrage administratif : \textbf{janvier 2024}.
+    \item Sujet : \emph{Cohérence Faible pour le cloud zero-trust}.
+    \item Cadre : thèse \textbf{CIFRE} avec l’entreprise \textbf{Scille} (logiciel \texttt{parsec.cloud}).
+    \item Répartition d’activités : \textbf{70\% recherche} / \textbf{30\% entreprise}.
+  \end{itemize}
+  \end{frame}
+  
+  % =======================
+  \begin{frame}{Contexte industriel — partage de fichiers \ZT{}}
+  \begin{itemize}
+    \item Produit : logiciel de partage de fichiers \textbf{zero-trust}.
+    \item Modèle \ZT{} : le \textbf{serveur ne voit que des données chiffrées} et ne connaît pas l’identité des utilisateurs.
+    \item Model de communication : \textbf{serveur centralisé unique} pour tous les clients.
+    \item Hypothèses : confiance pour la \textbf{redistribution des messages} et la \textbf{disponibilité} ; serveur \textbf{honnête mais curieux}.
+  \end{itemize}
+  \end{frame}
+  
+  % =======================
+  \begin{frame}{Bilan des formations et divers (oct. 2024 — oct. 2025)}
+  \begin{itemize}
+    \item \textbf{REDOCS 2024} : 14 au 19 octobre 2024
+    \item \textbf{PEPR Trust in Cloud 2024} (Grenoble) : novembre 2024.
+    \item \textbf{PEPR Trust in Cloud 2025} (Massy) : octobre 2025.
+    \item \textbf{Séminaires entreprise} : 3 séances en présentiel.
+    \item \textbf{Reunion avancement produit et R\&D} : toutes les 2 semaines.
+    \item \textbf{Enseignement} : 30 h en M1 (24h TP + 6h TD) + Soutenances de stage M2 FSI
+  \end{itemize}
+  \end{frame}
+  
+  % =======================
+  \begin{frame}{Missions en entreprise (résumé)}
+  \begin{itemize}
+    \item \textbf{Document BPI} : état de l’art et \textbf{valeur ajoutée} des fonctionnalités d’\emph{édition collaborative} de l’équipe R\&D Parsec.
+    \item \textbf{État de l’art} sur \textbf{\ZT{}} et \textbf{Data-Centric Security} pour une réponse à appel d’offres \textbf{OTAN}.
+    \item \textbf{Conseil} : stratégie de \textbf{sauvegarde} dans un contexte \textbf{pair-à-pair distribué} pour l’édition collaborative.
+    \item \textbf{CIR} : rédaction en cours d’un \textbf{document consolidé} couvrant les projets R\&D (état de l’art, besoins spécifiques, caractère innovant, avancées annuelles).
+    \vspace{1em}
+    \item Développement de \textbf{fonctionnalités} experimentales dans \texttt{parsec}
+  \end{itemize}
+  \end{frame}
+  
+  % =======================
+  \begin{frame}{CRDT (Shapiro et al., 2011) - Rappel}
+  \begin{itemize}
+    \item Un \CRDT{} est une \textbf{spécification de type de donnée répliqué} qui permet d’\textbf{atteindre la cohérence éventuelle} (\EC) \textbf{sans imposer d’ordre total} entre les opérations (sous hypothèse de \textbf{Reliable Broadcast} (RB)).
+    \item L’idée clé est de \textbf{converger par construction} : les opérations (ou les jointures d’états) sont \textbf{commutatives} (souvent aussi associatives et idempotentes), garantissant que tout ordre de livraison mène au même état.
+    \pause
+    \item \textbf{Contrepartie} : la \textbf{structure commutative} restreint les usages aux applications dont les mises à jour sont naturellement commutatives; elle est moins adaptée lorsque des \textbf{invariants globaux non commutatifs} ou des \textbf{contraintes d’ordre} sont requis.
+  \end{itemize}
+  \end{frame}
+  
+  % =======================
+  \begin{frame}{PCDO (Frey et al., 2023)}
+  \begin{itemize}
+    \item Les \PCDO{} étendent les \CRDT{} mais \textbf{ajoute une notion de légalité d’état} : un prédicat caractérise quels états sont \emph{légaux}.
+    \item Alors que, dans les \CRDT, \textbf{toutes les opérations sont éventuellement traitées par tous les nœuds} (sans ordre global), un \PCDO{} autorise d’\textbf{exiger un ordre pour certaines opérations}.
+    \pause
+    \item Pour \textbf{atteindre} cela sans sacrifier l’asynchronisme, la \textbf{contrainte d’ordre est restreinte \emph{par processus}} : seules les opérations \textbf{émises par le même processus} doivent être \textbf{émises et exécutées dans un certain ordre}.
+    \item Les opérations inter-processus restent commutatives (au sens requis par le prédicat de légalité), préservant la \EC{}.
+  \end{itemize}
+  \end{frame}
+  
+  % =======================
+  \begin{frame}{\PCDO{} ?= \RB{} \BFT{}}
+  \begin{itemize}
+    \item \textbf{Question de recherche} : une implémentation \BFT{} d’un \PCDO{} est-elle \textbf{équivalente} à l’implémentation \BFT{} d’un \textbf{Reliable Broadcast} (\RB)?
+    \item Intuition : si un \PCDO{} impose un \textbf{ordre par émetteur}, et que \RB{}-BFT assure \textbf{livraison fiable/consistante}, peut-on \textbf{réduire} l’un à l’autre~?
+    \item \textbf{Travail en cours} : exploration d’algorithmes visant à \textbf{montrer l’équivalence} (ou une réduction bidirectionnelle). \textbf{À ce stade}, pas de résultat concluant.
+    \item Points de blocage actuels : \textbf{interaction entre la légalité d’état locale au processus} et les \textbf{garanties globales} de \RB{}-\BFT{} (accord, intégrité, terminaison).
+  \end{itemize}
+  \end{frame}
+  
+  % =======================
+  \begin{frame}{AllowList et DenyList (Frey et al., 2023)}
+  \begin{itemize}
+    \item Présentation de travaux de \textbf{Mathieu Gestin} : spécification d’\AL{} et de \DL{} comme \textbf{registre partagé} dans un système \textbf{asynchrone} sujet aux \textbf{crashs}.
+    \item Interface fondée sur \textbf{trois primitives} :
+    \begin{itemize}
+      \item \texttt{APPEND(x)} : ajout d’un élément à l'\AL{}/\DL{}.
+      \item \texttt{PROVE(x)} : fournir une \textbf{preuve vérifiable} de présence/absence.
+      \item \texttt{READ()} : obtenir une \textbf{vue cohérente} du registre.
+    \end{itemize}
+    \item L’objectif est d’\textbf{atteindre les garanties attendues} d’une \AL{}/\DL{} distribuée (sécurité, auditabilité, progression sous asynchronisme avec crashs).
+  \end{itemize}
+  \end{frame}
+  
+  % =======================
+  \begin{frame}{\RB{} + \DL{} $\Rightarrow$ \ARB{} (intuition)}
+  \begin{itemize}
+    \item Idée : utiliser la \textbf{\DL{} comme mécanisme de verrou/élection} pour \textbf{ordonner} des messages livrés via \RB{}, et ainsi passer à l’\textbf{Atomic Reliable Broadcast} (\ARB{}).
+    \item \textbf{Par rounds} :
+    \begin{enumerate}
+      \item À chaque round, un \textbf{ensemble non vide de vainqueurs} est sélectionné (via \DL{}) et \textbf{détient le droit d’émettre}.
+      \item Quand le round est \textbf{fermé}, les autres processus tentent d’être élus au \textbf{round suivant}.
+    \end{enumerate}
+    \item \textbf{Processus lents} : un mécanisme de \textbf{dissémination des messages en attente} force les nœuds corrects à \textbf{relayer/émettre} pour leur compte afin d’éviter les blocages.
+    \item L’ordonnancement par rounds permet d’\textbf{établir un ordre total} entre les messages.
+  \end{itemize}
+  \end{frame}
+  
+  % =======================
+  \begin{frame}{\RB{} + \DL{} $\Rightarrow$ \ARB{} (contexte industriel \& ZT)}
+  \begin{itemize}
+    \item \textbf{Contraintes industrielles (CIFRE)} : les \CRDT{}\ \PCDO{} ne couvrent pas tous les cas d’usage — certaines applications requièrent un \textbf{ordre total} global malgré l’asynchronisme.
+    \item \textbf{Hypothèse architecturale} : un \textbf{serveur « proxy » ZT} ne voyant que des \textbf{chiffrés}, chargé de \textbf{dispatcher} et de \textbf{synchroniser} les messages; aucune logique métier ni accès au clair.
+    \item \textbf{Levier} : combiner \RB{} avec \DL{} pour sérialiser les tours d’émission; le proxy n’est qu’un \textbf{médiateur d’ordonnancement}, pas une source de confiance.
+    \item \textbf{Pertinence} : solution adaptée aux environnements contraints où la \textbf{centralisation de l’ordonnancement} est acceptable mais où la \textbf{confiance} reste minimisée.
+  \end{itemize}
+  \end{frame}
+  
+  % =======================
+  \begin{frame}{\RB{} + \DL{} $\Rightarrow$ \ARB{} (état d’avancement)}
+  \begin{itemize}
+    \item \textbf{Algorithme} : spécifié et en cours de \textbf{finalisation de la preuve} dans un \textbf{modèle crash}.
+    \item \textbf{Propriété visée} : \ARB{} (accord, validité, intégrité, \textbf{ordre total}).
+    \item \textbf{Perspectives} : extension au \textbf{modèle byzantin} (\BFT{}). Implémentation d'une \DL{} \ZT{} (e.g. calcul homomorphe).
+    \item \textbf{Implémentation} : prototype intégré à \texttt{parsec} pour la fonctionnalités de chat collaboratif (en cours).
+  \end{itemize}
+  \end{frame}
+
+% =====================
+
+  \begin{frame}[t]{Gantt 2024-2025}
+    \scriptsize
+    % Fenêtre temporelle
+    \GanttSetup{2024-10-01}{2025-10-15}
+    
+    % Limiter à la largeur et à 80% de la hauteur de la slide
+    \begin{adjustbox}{max totalsize={\textwidth}{0.8\textheight},center}
+      \begin{ganttchart}[
+          expand chart=\textwidth,
+          y unit chart=0.45cm,
+          y unit title=0.6cm,
+          bar height=0.35,
+      ]{\GanttStart}{\GanttEnd}
+        \gantttitlecalendar{year, month}\\
+    
+        \Period{REDOCS}{2024-10-14}{2024-10-18}\\
+        % Plusieurs jalons sur une même ligne pour gagner de la place
+        \Event{Séminaire Parsec}{2024-11-19}\ \Event{}{2025-03-20}\ \Event{}{2025-07-12}\\
+        \Event{PEPR TrustInCloud}{2024-12-05}\ \Event{}{2025-10-07}\\
+    
+        \Period[bar/.append style={fill=green!40}]{Livrable BPI}{2025-01-01}{2025-02-01}\\
+        \Period[bar/.append style={fill=green!40}]{État de l'art OTAN}{2025-04-01}{2025-04-30}\\
+        \Period[bar/.append style={fill=green!40}]{Conseil sauvegarde P2P}{2025-08-01}{2025-08-15}\\
+        \Period[bar/.append style={fill=green!40}]{Rédaction CIR}{2025-09-01}{2025-10-15}\\
+    
+        \Period[bar/.append style={fill=orange!70}]{Cours M1}{2024-10-01}{2024-12-31}\\
+    
+        \Period[bar/.append style={fill=blue!35}]{PCDO BFT vs RB BFT}{2024-10-01}{2025-01-01}\\
+        \Period[bar/.append style={fill=blue!35}]{Spécification RB+DL=>ARB (crash)}{2025-02-01}{2025-10-15}\\
+      \end{ganttchart}
+    \end{adjustbox}
+    \end{frame}
+
+  % =======================
+  \begin{frame}{Perspectives Académiques 2025-2026}
+    \begin{itemize}
+      \item \textbf{Publication} : soumission d’un article sur \RB{} + \DL{} $\Rightarrow$ \ARB{} en modèle \BFT{} (\textbf{printemps 2026}).
+      \item \textbf{Soumission de la thèse} : rédaction \textbf{fin 2026}, soutenance \textbf{1er semestre 2027}.
+      \begin{itemize}
+        \item Implique une 4ème année de thèse (financement à confirmer avec Scille).
+      \end{itemize}
+    \end{itemize} 
+  \end{frame}
+
+  \end{document}
+  
\ No newline at end of file
diff --git a/docs/presentations/LIS/CSI2025/rapport/main.tex b/docs/presentations/LIS/CSI2025/rapport/main.tex
new file mode 100644
index 0000000..e49c515
--- /dev/null
+++ b/docs/presentations/LIS/CSI2025/rapport/main.tex
@@ -0,0 +1,222 @@
+
+\documentclass[11pt,a4paper]{article}
+\usepackage[utf8]{inputenc}
+\usepackage[T1]{fontenc}
+\usepackage[french]{babel}
+\usepackage{geometry}
+\geometry{margin=2.2cm}
+\usepackage{graphicx}
+\usepackage{array}
+\usepackage{tabularx}
+\usepackage{longtable}
+\usepackage{booktabs}
+\usepackage{multirow}
+\usepackage{enumitem}
+\usepackage{amssymb}
+\usepackage{fancyhdr}
+\usepackage{pgfgantt}
+\usepackage{hyperref}
+\usepackage{xcolor}
+
+% ---------- Header / Footer with logo top-left on every page ----------
+\pagestyle{fancy}
+\fancyhf{} % clear
+% Replace 'logo_header.pdf' with your actual logo file (AMU/LIS or Scille). Height can be adjusted.
+\fancyhead[L]{\includegraphics[height=12mm]{logo_header.pdf}}
+\fancyfoot[C]{\thepage}
+
+% Avoid underlines for empty fields — we will leave space or boxes instead.
+
+% Table helpers
+\setlength{\extrarowheight}{1pt}
+\renewcommand{\arraystretch}{1.18}
+\newcolumntype{L}[1]{>{\raggedright\arraybackslash}p{#1}}
+\newcolumntype{C}[1]{>{\centering\arraybackslash}p{#1}}
+\newcolumntype{R}[1]{>{\raggedleft\arraybackslash}p{#1}}
+\setlist[itemize]{topsep=2pt,partopsep=0pt,itemsep=2pt,parsep=0pt}
+\setlist[enumerate]{topsep=2pt,partopsep=0pt,itemsep=2pt,parsep=0pt}
+
+% Checkboxes
+\newcommand{\cb}{\(\square\)}
+\newcommand{\cbdone}{\(\blacksquare\)} % when needed
+
+% Title info
+\title{\vspace{-1.5cm}\textbf{Rapport d'activité — 2\`eme Comité de Suivi Individuel (CSI) 2024--2025}\\[2mm]
+\large Thèse CIFRE --- Édition collaborative appliquée au cloud zero-trust}
+\author{Doctorant : Amaury JOLY \\
+Encadrement : Emmanuel GODARD, Corentin TRAVERS \\
+Comité de suivi : Arnaud LABOUREL, Achour MOSTEFAOUI \\
+Affiliations : Université Aix-Marseille (LIS), Scille}
+\date{14 octobre 2025}
+
+\begin{document}
+% ---------- Title page with logo top-left ----------
+\thispagestyle{fancy}
+\maketitle
+\vspace{-8mm}
+\begin{center}
+\includegraphics[height=18mm]{logo_header.pdf}
+\end{center}
+\vspace{4mm}
+\hrule
+\vspace{2mm}
+
+\section*{Résumé}
+Ce rapport présente les activités menées entre octobre 2024 et octobre 2025 dans le cadre de la thèse CIFRE d'Amaury JOLY, portant sur l'édition collaborative appliquée au cloud \emph{zero-trust}. Il reprend la structure et le style du rapport précédent tout en intégrant les éléments académiques, industriels et de recherche de l'année écoulée.\\[2mm]
+
+\section{Informations générales}
+\begin{tabularx}{\textwidth}{L{4.5cm}X}
+\toprule
+\textbf{Doctorant} & Amaury JOLY \\
+\textbf{Encadrants universitaires} & Emmanuel GODARD, Corentin TRAVERS \\
+\textbf{Entreprise (CIFRE)} & Scille (produit: \texttt{parsec.cloud}) \\
+\textbf{Comité de suivi (CSI)} & Arnaud LABOUREL, Achour MOSTEFAOUI \\
+\textbf{Démarrage administratif} & Janvier 2023 \\
+\textbf{Répartition d'activités} & 70\% recherche / 30\% entreprise \\
+\bottomrule
+\end{tabularx}
+
+\section{Contexte de thèse et industriel}
+\subsection{Sujet et cadre}
+Thèse CIFRE sur l'édition collaborative appliquée au cloud \emph{zero-trust} (ZT).
+
+\subsection{Contexte industriel --- partage de fichiers ZT}
+Produit visé : logiciel de partage de fichiers ZT. Hypothèses~: le serveur ne voit que des données chiffrées, ne connaît pas l'identité des utilisateurs ; modèle de communication centralisé (un serveur pour tous les clients) ; hypothèses de confiance limitées pour la redistribution et la disponibilité, serveur honnête mais curieux.
+
+\section{Bilan des formations, enseignement et diverses activités (oct. 2024 --- oct. 2025)}
+\subsection{Formations / événements}
+\begin{itemize}
+  \item \textbf{REDOCS 2024} : 14--19 octobre 2024.
+  \item \textbf{PEPR Trust in Cloud 2024 (Grenoble)} : novembre 2024.
+  \item \textbf{PEPR Trust in Cloud 2025 (Massy)} : octobre 2025.
+  \item \textbf{Séminaires entreprise} : 3 séances en présentiel.
+  \item \textbf{Réunions produit \& R\&D} : toutes les deux semaines.
+\end{itemize}
+
+\subsection{Enseignement}
+\begin{itemize}
+  \item \textbf{M1} : 30 h (24 h TP + 6 h TD).
+\end{itemize}
+
+\section{Missions en entreprise (synthèse)}
+\begin{itemize}
+  \item Document \textbf{BPI} : état de l’art et valeur ajoutée des fonctionnalités d’édition collaborative (équipe R\&D Parsec).
+  \item \textbf{ZT \& Data-Centric Security} : état de l’art pour une réponse à appel d’offres OTAN.
+  \item \textbf{Conseil} : stratégie de sauvegarde dans un contexte pair-à-pair distribué pour l’édition collaborative.
+  \item \textbf{CIR} : rédaction d’un document consolidé couvrant les projets R\&D (état de l’art, besoins spécifiques, caractère innovant, avancées annuelles).
+  \item \textbf{Développement} : fonctionnalités expérimentales dans \texttt{parsec}.
+\end{itemize}
+
+\section{Avancement scientifique}
+\subsection{Rappels : CRDT}
+Les CRDT (Shapiro \emph{et al.}, 2011) spécifient des types de données répliqués atteignant la \emph{cohérence éventuelle} (EC) sans ordre total global, sous hypothèse de \emph{Reliable Broadcast} (RB). L’idée clé est la convergence par construction grâce à la commutativité (souvent associativité et idempotence) des opérations ou jointures d’états. Limites : moins adapté quand des invariants globaux non commutatifs ou des contraintes d’ordre sont requis.
+
+\subsection{PCDO (Frey \emph{et al.}, 2023)}
+Les PCDO étendent les CRDT avec un prédicat de \emph{légalité} d’état. Ils autorisent d’exiger un ordre \emph{par processus} pour certaines opérations, tout en préservant l’asynchronisme et la EC pour les opérations inter-processus (commutatives au sens du prédicat de légalité).
+
+\subsection{Question en cours : \textit{PCDO ?= RB BFT}}
+Question : une implémentation BFT d’un PCDO est-elle équivalente à une implémentation BFT d’un RB ? Travail en cours (pas de résultat concluant à ce jour) : exploration d’algorithmes et des interactions entre légalité locale (par processus) et garanties globales de RB-BFT (accord, intégrité, terminaison).
+
+\subsection{AllowList / DenyList (travaux récents)}
+Spécification d’AllowList (AL) et DenyList (DL) comme registre partagé en système asynchrone avec crashs ; interface fondée sur \texttt{APPEND(x)}, \texttt{PROVE(x)} et \texttt{READ()} ; objectifs : sécurité, auditabilité, progression.
+
+\subsection{Vers ARB avec \textbf{RB + DL} : intuition et contexte ZT}
+\paragraph{Intuition.} Utiliser DL comme mécanisme de verrou/élection pour ordonner les messages livrés via RB et obtenir un \emph{Atomic Reliable Broadcast} (ARB). Fonctionnement par \emph{rounds} :\\[-5pt]
+\begin{enumerate}
+  \item À chaque round, un ensemble non vide de vainqueurs est élu (via DL) et détient le droit d’émettre.
+  \item À la fermeture du round, les autres processus tentent d’être élus au round suivant.
+\end{enumerate}
+Pour les processus lents, un mécanisme de dissémination force le relais/émission afin d’éviter les blocages, et l’ordonnancement par rounds induit un ordre total.
+
+\paragraph{Contexte industriel ZT.} Dans certains usages, les CRDT/PCDO ne suffisent pas : un ordre total global est nécessaire malgré l’asynchronisme. Hypothèse architecturale : un serveur \emph{proxy} ZT (médiateur d’ordonnancement, sans logique métier ni accès en clair) qui \emph{dispatch} et synchronise des messages chiffrés. L’objectif est de rester \emph{zero-trust} tout en centralisant l’ordonnancement au strict nécessaire.
+
+\subsection{État d’avancement (RB + DL $\Rightarrow$ ARB)}
+\begin{itemize}
+  \item \textbf{Algorithme} : spécifié ; preuve en cours de finalisation dans un modèle crash.
+  \item \textbf{Propriété visée} : ARB (accord, validité, intégrité, ordre total).
+  \item \textbf{Perspectives} : extension au modèle byzantin (BFT) ; implémentation d’une DL ZT (p.~ex. calcul homomorphe).
+  \item \textbf{Implémentation} : prototype intégré à \texttt{parsec} pour la fonctionnalité de \emph{chat} collaboratif (en cours).
+\end{itemize}
+
+\section{Planification --- Gantt 2024--2025}
+\begin{center}
+\resizebox{\textwidth}{!}{%
+\begin{ganttchart}[
+  time slot format=isodate,
+  y unit chart=0.7cm,
+  vgrid,
+  hgrid
+]{2024-10-01}{2025-10-01}
+\gantttitlecalendar{year, month=name} \\
+\ganttbar{REDOCS}{2024-10-14}{2024-10-19} \\
+\ganttbar{Séminaires Parsec}{2024-10-01}{2025-10-01} \\
+\ganttbar{PEPR TrustInCloud (Grenoble)}{2024-11-01}{2024-11-30} \\
+\ganttbar{Livrable BPI}{2024-12-01}{2025-01-31} \\
+\ganttbar{État de l'art OTAN}{2025-01-01}{2025-02-28} \\
+\ganttbar{Conseil sauvegarde P2P}{2025-02-01}{2025-03-31} \\
+\ganttbar{Rédaction CIR}{2025-03-01}{2025-05-31} \\
+\ganttbar{Cours M1}{2025-09-01}{2025-10-01} \\
+\ganttbar{PCDO BFT vs RB BFT}{2024-10-01}{2025-06-30} \\
+\ganttbar{Spécif. RB+DL $\Rightarrow$ ARB (crash)}{2025-04-01}{2025-10-01}
+\end{ganttchart}
+}
+\end{center}
+
+\section{Production scientifique, valorisation, expérience internationale}
+% Two-column checkboxes layout + single cell for Avis / Points / Reco
+\begin{longtable}{L{0.35\textwidth}L{0.3\textwidth}L{0.3\textwidth}}
+\toprule
+\textbf{Catégorie} & \textbf{Activités (cases à cocher)} & \textbf{Détails (si applicable)}\\
+\midrule
+\endfirsthead
+\toprule
+\textbf{Catégorie} & \textbf{Activités (cases à cocher)} & \textbf{Détails (si applicable)}\\
+\midrule
+\endhead
+\textbf{Production scientifique} & \cb~Article journal \quad \cb~Conf. int. \quad \cb~Conf. nat. \quad \cb~Préprint & \\[2mm]
+\textbf{Valorisation / Transfert} & \cb~Livrable \quad \cb~Logiciel (OSS) \quad \cb~Démonstrateur & \\[2mm]
+\textbf{Expérience internationale} & \cb~Séjour (dates:\hspace{1.5cm}) \quad \cb~Collab. int. & \\
+\bottomrule
+\end{longtable}
+
+\vspace{1mm}
+\noindent\textbf{Avis, Points de vigilance, Recommandations}\\[1mm]
+\begin{tabularx}{\textwidth}{|X|}
+\hline
+\vspace{0pt}\textbf{Avis} : \vspace{20mm}\\
+\textbf{Points de vigilance} : \vspace{20mm}\\
+\textbf{Recommandations} : \vspace{25mm}\\ \\
+\hline
+\end{tabularx}
+
+\section{Conditions de la formation doctorale (alignement amélioré)}
+\begin{tabularx}{\textwidth}{L{0.45\textwidth}X}
+\toprule
+\textbf{Sujet de thèse} & Édition collaborative appliquée au cloud zero-trust \\
+\textbf{École doctorale} & (à compléter) \\
+\textbf{Laboratoire} & LIS (AMU) \\
+\textbf{Financement} & CIFRE (Scille) \\
+\textbf{Formations suivies} & REDOCS 2024 ; PEPR Trust in Cloud 2024/2025 \\
+\textbf{Enseignement} & M1 : 30 h (24 h TP + 6 h TD) \\
+\textbf{Autres} & Séminaires entreprise (3) ; réunions produit/R\&D bi-hebdo \\
+\bottomrule
+\end{tabularx}
+
+\section{Perspectives académiques 2025--2026}
+\begin{itemize}
+  \item \textbf{Publication} : soumission d’un article \emph{RB + DL $\Rightarrow$ ARB} en modèle BFT (printemps 2026).
+  \item \textbf{Thèse} : début de rédaction fin 2026 ; soutenance visée au 1\textsuperscript{er} semestre 2027 (implique une 4\`eme année --- financement à confirmer avec Scille).
+\end{itemize}
+
+\section*{Espace réservé au compte rendu du CSI (à remplir le jour J)}
+\begin{tabularx}{\textwidth}{|L{0.22\textwidth}|X|}
+\hline
+\textbf{Participants} & \\[10mm]\hline
+\textbf{Synthèse des échanges} & \\[30mm]\hline
+\textbf{Décisions / Actions} & \\[20mm]\hline
+\end{tabularx}
+
+\vfill
+\noindent\footnotesize{Remarques de mise en page : (i) logo en haut à gauche sur toutes les pages ; (ii) pas de soulignement des champs vides ; (iii) listes en tableaux alignées en haut des cellules ; (iv) structure fidèle au rapport précédent ; (v) sections \og Avis, Points de vigilance, Recommandations\fg{} regroupées en une même cellule.}
+
+\end{document}