/~deantoni/teaching_resources/SI4/ISLE/current/TDs/config_vscode/index.php