Quelques optimisations pour mkdocs

• gitignore pour éviter de versionner des fichiers inutiles
• un fichier pour lister les dépendances nécessaires pour travailler sur le site
• réorganisation du fichier mkdocs pour :
  • coller aux pratiques mkdocs
  • utiliser la navigation par onglets
  • désactive les polices Google (RGPD)
• ajoute la configuration pour le vérificateur (linter) de la syntaxe markdown (compatible aussi avec pre-commit et VS Code)
• améliore la CI (utilise le fichier des dépendances et le cache)