Bonjour professeur, comment sont générés les fichiers de configuration dans le principe de fonctionnement et l'environnement de développement PHP ? Comment sont générés les fichiers settings.json dans les paramètres de VScode ? Merci