Plan du site

Ce plan fait apparaître toutes les pages de la version française de ce site sauf les pages générées automatiquement (type classement des .bassin) et les entrées de l'album photos.

Pour l'instant, il est écrit à la main, mais cela pourrait changer un jour, si j'avais le courage d'écrire un script qui parse le HTML des volets de navigation de mes pages...

• Tahina Ramananandro
  • Qui suis-je ?
  • Travail
    • CV (PDF)
    • Vérification formelle d'un GC
    • The Mondex Case Study with Alloy (EN)
    • Vérification formelle d'algorithmes probabilistes
    • Dérivation en Coq
    • Un serveur de news utilisant une base de données
    • Compilation
  • Vie de l'Ecole
    • Le Bassin aux Ernest
      • Classement des Ernestisables
      • Les .bassin à jour
      • Erreurs dans les .bassin
      • Les .bassin vieillots
      • Script OCaml
    • Le Bassin aux Ernest (tenant compte du 4a)
      • Généralités
      • Alias et utilisateurs bidon
      • Module principal (quatramaran)
    • Comptes-rendus de réunions
  • Loisirs
    • Dames Décalées
    • Dames Décalées Pirates
      • Actualités
      • Traité théorique : HTML, DVI, PS, PDF
      • Règles du jeu
      • Enoncés des problèmes
      • Solutions aux problèmes
      • Le programme DDP
      • Proposition de simplification des règles : PS, PDF, programme OCaml
    • Système de plaques d'immatriculation en France (PDF)
    • Numérotation des routes nationales en France (PDF)
  • Album photos
  • Plan du site
  • Historique du site
  • Liens