Use lang en-US for samples

tutorial/4/pidns.md

@@ -22,9 +22,11 @@ se trouve).
 
 Première étape s'isoler :
 
+<div lang="en-US">
 ```shell
 unshare --pid --fork /bin/bash
 ```
+</div>
 
 Nous utilisons ici l'option `-f`, pour que le passage dans le nouvel espace de
 noms des PID soit effectif (cf. Introduction).
@@ -47,9 +49,11 @@ système initial. Pour s'en sortir, il est nécessaire de s'isoler du *namespace
 
 Voici la nouvelle ligne de commande que l'on va utiliser :
 
+<div lang="en-US">
 ```shell
 unshare --pid --mount --fork --mount-proc /bin/bash
 ```
+</div>
 
 Avec l'option `--mount-proc`, `unshare` va s'occuper de monter le nouveau
 `/proc`.