From 770c75593e5511bc8b4e82bd5fffc00229050c74 Mon Sep 17 00:00:00 2001 From: Henri Saudubray Date: Mon, 20 Oct 2025 10:50:54 +0200 Subject: [PATCH] feat: both english and french versions --- fish.en.html | 48 ++++++++ fish.html | 26 ++-- index.en.html | 49 ++++++++ index.html | 22 ++-- links.en.html | 90 ++++++++++++++ links.html | 12 +- man.en.html | 245 ++++++++++++++++++++++++++++++++++++++ man.html | 163 +++++++++++++------------ tiles.en.html | 105 ++++++++++++++++ tiles.html | 324 +++++++++++++------------------------------------- 10 files changed, 743 insertions(+), 341 deletions(-) create mode 100644 fish.en.html create mode 100644 index.en.html create mode 100644 links.en.html create mode 100644 man.en.html create mode 100644 tiles.en.html diff --git a/fish.en.html b/fish.en.html new file mode 100644 index 0000000..841fc6c --- /dev/null +++ b/fish.en.html @@ -0,0 +1,48 @@ + + + + + + + FISH + + + + +
+
+
+
+
+
+
THE FISH ><>
+
+
+ Picture of a drawn fish +
+
+ Picture of a drawn fish +
+
+ Picture of a drawn fish +
+
+ Picture of a drawn fish +
+
+ Picture of a drawn fish +
+
+ Picture of a drawn fish +
+
+ Picture of a drawn fish +
+
+ + + diff --git a/fish.html b/fish.html index f028172..0a9df1a 100644 --- a/fish.html +++ b/fish.html @@ -1,11 +1,11 @@ - + - FISH - + POISSONS + @@ -15,32 +15,34 @@
-
THE FISH ><>
+
LES POISSONS ><>
- Picture of a drawn fish + Image d'un dessin de poisson
- Picture of a drawn fish + Image d'un dessin de poisson
- Picture of a drawn fish + Image d'un dessin de poisson
- Picture of a drawn fish + Image d'un dessin de poisson
- Picture of a drawn fish + Image d'un dessin de poisson
- Picture of a drawn fish + Image d'un dessin de poisson
- Picture of a drawn fish + Image d'un dessin de poisson
diff --git a/index.en.html b/index.en.html new file mode 100644 index 0000000..b03b08d --- /dev/null +++ b/index.en.html @@ -0,0 +1,49 @@ + + + + + + + Henri Saudubray + + + + + +
+
+
+
+
+
+
HELLO THERE :)
+
+
+ Serious stuff +
    +
  • [man]: the man page
    • +
  • [tea]: the teaching
    • +
+
+
+ Not serious stuff +
    +
  • [fsh]: the fish
    • +
  • [tls]: the tiles
    • +
  • [lnk]: the links
    • +
+
+
+ Lire cette page en français +
+
+ ← + 🍩 Webring of delights 🍩 + → +
+
+ + + diff --git a/index.html b/index.html index 6621fec..032cdf0 100644 --- a/index.html +++ b/index.html @@ -1,11 +1,11 @@ - + Henri Saudubray - + @@ -16,22 +16,26 @@
-
HELLO THERE :)
+
BONJOUR :)
- Serious stuff + Choses sérieuses
    -
  • [man]: the man page
    • +
  • [man]: le manuel
    • +
  • [tea]: les enseignements
- Not serious stuff + Choses pas sérieuses
    -
  • [fsh]: the fish
    • -
  • [tls]: the tiles
    • -
  • [lnk]: the links
    • +
  • [fsh]: les poissons
    • +
  • [tls]: les carrelages
    • +
  • [lnk]: les liens
+
+ Read this page in english +
← 🍩 Webring des délices 🍩 diff --git a/links.en.html b/links.en.html new file mode 100644 index 0000000..7e1be1a --- /dev/null +++ b/links.en.html @@ -0,0 +1,90 @@ + + + + + + + LINKS + + + + +
+
+
+
+
+
+
THE LINKS
+
+ +
+ + + diff --git a/links.html b/links.html index 7186f4b..be320cb 100644 --- a/links.html +++ b/links.html @@ -1,11 +1,11 @@ - + - LINKS - + LIENS + @@ -15,7 +15,7 @@
-
THE LINKS
+
LES LIENS
  • @@ -82,7 +82,9 @@
diff --git a/man.en.html b/man.en.html new file mode 100644 index 0000000..422338e --- /dev/null +++ b/man.en.html @@ -0,0 +1,245 @@ + + + + + + + Henri Saudubray + + + + +
+
+
+
+
+
+
+ HENRI(1) + User information + HENRI(1) +
+
+
+
Name
+
+ Henri Saudubray - PhD student +
+
+
+
Synopsis
+
+ I am a PhD student at Laboratoire Méthodes Formelles (LMF) at + Université Paris-Saclay, focusing on formal logic, proof + assistants, and programming languages. +
+
+
+
Publications
+ +
+
+
Experience
+ +
+
+
Education
+ +
+
+
Files
+ +
+
+
See Also
+ +
+ +
+
+ 1.5.1 + 2025-10-20  + HENRI(1) +
+ + diff --git a/man.html b/man.html index abca4e0..8d41b67 100644 --- a/man.html +++ b/man.html @@ -1,11 +1,11 @@ - + Henri Saudubray - + @@ -17,22 +17,24 @@
HENRI(1) - User information + Informations utilisateur HENRI(1)
-
Name
+
Nom
- Henri Saudubray - PhD student + Henri Saudubray - Doctorant en Méthodes Formelles
Synopsis
- I am a PhD student at Laboratoire Méthodes Formelles (LMF) at - Université Paris Saclay, focusing on formal logic, proof - assistants, and programming languages. + Je suis doctorant au Laboratoire Méthodes Formelles + (LMF) de l'Université Paris-Saclay. Je m'intéresse + à l'étude des langages de programmation, à la + vérification déductive, aux assistants de preuve, et à + la logique formelle.
@@ -46,117 +48,127 @@
"Faire chauffer Why3 avec de l'induction".
- Describes the addition of a new construct to the WhyML language - allowing for case analysis on inductive predicate instances. + Décrit l'ajout d'une nouvelle construction au langage WhyML + permettant le filtrage sur les instances de prédicats + inductifs.
- Written with - Jean-Christophe Filliâtre - and Andrei Paskevich. + écrit avec + + Jean-Christophe Filliâtre + et Andrei Paskevich.
-
Experience
+
Expérience
  • Laboratoire Méthodes Formelles, Université Paris-Saclay - - Since October 2025 + - Depuis octobre 2025
    - PhD, with - Jean-Christophe Filliâtre - and Andrei Paskevich. - Working on the design and unification of programming, - specification and proof languages in the context of deductive - program verification, in the - Why3 platform. + Doctorat, encadré par + + Jean-Christophe Filliâtre + et Andrei Paskevich. + Conception et unification des langages de programmation, + spécification et preuve dans le contexte de la + vérification déductive de programmes, au sein de l'outil + Why3. +
  • INRIA, PARKAS Team - - March to August 2025 + - Mars - août 2025
    - M2 Internship, with - Marc Pouzet. Worked on reproducibility and transparency of - assertions in the synchronous hybrid language - Zélus. - Designed and implemented a + Stage de M2, encadré par + Marc Pouzet. Travail + autour de la reproductibilité et de la transparence des + assertions exécutables dans le langage hybride + Zélus. Conception et + implémentation d'une - formal executable semantics for a multi-solver language - runtime. + sémantique exécutable pour un environnement + d'exécution multi-solveur.
  • Laboratoire Méthodes Formelles, CNRS - - March to July 2024 + - Mars - juillet 2024
    - M1 Internship, with + Stage de M1, encadré par - Jean-Christophe Filliâtre - and Andrei Paskevich. - Added support for case analysis and proofs by - induction on inductive predicates in the - Why3 platform. - Translated a - Coq proof to Why3 as a test. + Jean-Christophe Filliâtre + et Andrei Paskevich. + Ajout d'une nouvelle construction au langage WhyML permettant le + filtrâge sur les instances de prédicats inductifs au + sein de l'outil Why3. + Traduction d'une + preuve Rocq vers Why3 comme exemple d'utilisation.
  • - Skapánê - - September 2022 to August 2023 + Skapánê - Septembre + 2022 - août 2023
    - L3 Traineeship. Back-end development on containerized - infrastructure in Python. Web app design with React.js, Flask and - Docker. + Alternance en L3. Développement back-end sur une + infrastructure conteneurisée en Python et Scala. Conception + d'une plateforme de gestion d'environnements de développement + Jupyter avec React.js, Flask et Docker.
  • Informatique CDC - - May to August 2022 + - Mai - août 2022
    - L2 Internship. Development of an automated end-to-end testing tool - and ISO 20022 file format converter for CDC's banking - infrastructure in Java. + Stage de L2. Développement en Java d'un outil + d'automatisation de tests bout en bout et d'un convertisseur de + fichiers ISO 20022 sur l'infrastructure banquaire de la Caisse des + Dépôts et Consignations.
  • -
    Ac'Lab - August 2021 - May 2022
    +
    Ac'Lab - Août 2021 - mai 2022
    - Association. Vice-Treasurer and Teaching Lead. + Engagement associatif au sein de l'association d'informatique de + la faculté. Vice-trésorier et responsable enseignement. + Organisation d'événements, enseignement des bases du + langage Python, gestion de budget.
  • - Fnac Darty - - May to August 2021 + Fnac Darty - Mai - + août 2021
    - L1 Internship. Work on customer insight and customer journey. - Deployment of an in-house iOS application. + Stage de L1. Travail sur le parcours utilisateur sur les sites + e-commerce de Fnac et Darty. Déploiement d'une application + iOS interne.
-
Education
+
éducation
-
Files
+
Fichiers
-
See Also
+
Liens annexes
+
- 1.5.0 - 2025-10-03  + 1.5.1 + 2025-10-20  HENRI(1)
diff --git a/tiles.en.html b/tiles.en.html new file mode 100644 index 0000000..83453e2 --- /dev/null +++ b/tiles.en.html @@ -0,0 +1,105 @@ + + + + + + + TILES + + + + +
+
+
+
+
+
+
THE TILES
+
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
Picture of a mosaic
+
+ + + diff --git a/tiles.html b/tiles.html index 329b542..bfe89fb 100644 --- a/tiles.html +++ b/tiles.html @@ -1,11 +1,11 @@ - + - TILES - + CARRELAGES + @@ -15,245 +15,91 @@
-
THE TILES
+
LES CARRELAGES
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
-
- Picture of a mosaic on a wall -
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage
+
Image d'un carrelage