Merge branch 'EMMANUEL.COQUERY-main-patch-68215' into 'main'

Ajout inscructions lignes d'indent dans vscode

See merge request !2

CONFIGURATION.md

@@ -11,3 +11,7 @@ test -r /home/tpetu/Enseignants/emmanuel.coquery/opam/opam-init/init.sh && . /ho
 ```
 
 On utilisera VSCode en installant le plugin **OCaml Platform**
+
+Pour supprimer les lignes verticales d'indentation qui peuvent perturber al'affichage avec les `|` des `match`: aller dans le menu File -> Preferences -> Settings, entrer `editor.guide` dans la zone de recherche et décocher la case "Editor > Guides: Indentation". Vérifiez que vous êtes bien dans l'onglet "User" quand vous décochez la case. Voir le screenshot ci-dessous:
+
+![](files/config_lignes_vscode.png)