Corrige un bug qui empêchait d’importer l’extension Jupyter depuis VS Code.