diff --git a/notes/README.md b/notes/README.md
new file mode 100644
index 0000000..f8b64d2
--- /dev/null
+++ b/notes/README.md
@@ -0,0 +1 @@
+Les [notes de cours](notes-de-cours-progsync.pdf) sont disponibles.
diff --git a/notes/heptagon-manual.pdf b/notes/heptagon-manual.pdf
new file mode 100644
index 0000000..8c8d2b5
Binary files /dev/null and b/notes/heptagon-manual.pdf differ
diff --git a/notes/notes-de-cours-progsync.pdf b/notes/notes-de-cours-progsync.pdf
new file mode 100644
index 0000000..0d6e096
Binary files /dev/null and b/notes/notes-de-cours-progsync.pdf differ
diff --git a/tp/README.md b/tp/README.md
new file mode 100644
index 0000000..c1b5140
--- /dev/null
+++ b/tp/README.md
@@ -0,0 +1,28 @@
+# Travaux pratiques
+
+Les séances de travaux pratiques se structurent en deux blocs.
+
+Dans un premier temps, nous allons prendre en main le langage synchrone
+[Heptagon](https://gitlab.inria.fr/synchrone/heptagon) à travers des exercices
+de programmation. Les exercices en question se trouvent dans les fichiers
+TP-XX.pdf
+
+Dans un second temps, les séances de travaux pratiques serviront de soutien à la
+réalisation du projet.
+
+Si vous rencontrez des difficultés pour installer Heptagon sur votre ordinateur,
+veuillez vous référer à la section ci-dessous.
+
+## Installation d'Heptagon
+
+La façon la plus simple d'installer Heptagon sur votre machine est via OPAM, le
+gestionnaire de paquets OCaml. L'installation de la bibliothèque graphique
+LablGTK, qui permet d'obtenir le simulateur graphique `hepts`, est fortement
+recommandée.
+
+``
+opam install lablgtk heptagon
+``
+
+Pour installer OCaml et OPAM, référez-vous aux instructions de votre
+distribution Linux.
diff --git a/tp/TP01.pdf b/tp/TP01.pdf
new file mode 100644
index 0000000..c1cc4ee
Binary files /dev/null and b/tp/TP01.pdf differ
diff --git a/tp/TP02.pdf b/tp/TP02.pdf
new file mode 100644
index 0000000..4fb2200
Binary files /dev/null and b/tp/TP02.pdf differ
diff --git a/tp/TP03.pdf b/tp/TP03.pdf
new file mode 100644
index 0000000..f0c0a0b
Binary files /dev/null and b/tp/TP03.pdf differ