GitLab

typearea est visiblement le paquetage recommandé dans le cadre de KOMA
script, et devrait remplacer geometry.

Cela permet d'avoir les logos par défaut dans tous les énoncés de TP.

explicitation des prompts avec le mode console de minted

Quelques fusions pour diminuer le nombre de blocs maintenant
que les prompts sont bien visibles.

- Minted
- page de garde des TP avec les logos
- insertion des modifs liés à gitlab.ensimag.fr

programme et TODO à faire pour la mise en ligne du cours avant le 26 avril.

Il reste des éléments qui n'ont pas été poussés sur le dépôt, concernant
la formation continue 2017. Il faut ignorer le dossier.

restore (dasn trace)
switch

ajout de code minted à la place de lstlisting.

ajout de switch

TODO: translation of 2/3 of the document

Pointer vers le nouveau nom de la section

Pour les M1 info, ou les étudiants de MOSI au stage de rentrée