tutorial.pdf: update to the latest template

tutorial/ansible/what.md

@@ -57,9 +57,11 @@ Pour éditer (ou créer ...) la table de partitions d'un disque, vous pouvez
 utiliser les utilitaires `fdisk`, `cfdisk`, `sfdisk`, `parted`, `gdisk`. Chacun
 de ses programmes prend en argument le disque à modifier :
 
+<div lang="en-US">
 ```
-    cfdisk /dev/sda
+cfdisk /dev/sda
 ```
+</div>
 
 Le TP ne se concentrant pas sur la phase de démarrage, vous pouvez ignorer les
 choix de type de tables, de partitions, leurs drapeaux, les étiquettes, etc.
@@ -123,12 +125,14 @@ il va falloir indiquer dans le fichier `/etc/fstab` l'emplacement dans
 l'arborescence où attacher la partition ainsi que quelques autres
 caractéristiques.
 
+<div lang="en-US">
 ```
 # <fs>      <mountpoint>    <type>  <opts>          <dump/pass>
 /dev/sda1   /               ext4    defaults        0 1
 /dev/sda2   none            swap    swap            0 0
 none        /tmp            tmpfs   defaults,nosuid,nodev,noexec    0 0
 ```
+</div>
 
 Notons que le montage des partitions est effectué par le système
 d'initialisation (un simple appel à la commande `mount -a` ou équivalent). À
@@ -232,9 +236,11 @@ distributions). Vous pouvez également définir des conditions plus précise en
 **Super astuce !** votre terminal rit encore de vous, affichant `Permission
 Denied` car vous avez oublié de préfixer votre commande par `sudo` ? essayez :
 
+<div lang="en-US">
 ```
-  sudo !!
+sudo !!
 ```
+</div>
 
 ### Top confort dans son coquillage