JLG: ajout d'un HowTo sur Open Stage Control

PYGMENT/pygments/.coveragerc

PYGMENT/pygments/.github/actions/pyodide-package/action.yml

PYGMENT/pygments/.github/workflows/build.yaml

PYGMENT/pygments/.github/workflows/docs.yaml

PYGMENT/pygments/.gitignore

PYGMENT/pygments/AUTHORS

PYGMENT/pygments/CHANGES

PYGMENT/pygments/Contributing.md

PYGMENT/pygments/LICENSE

PYGMENT/pygments/MANIFEST.in

PYGMENT/pygments/README.rst

PYGMENT/pygments/doc/_static/demo.css

PYGMENT/pygments/doc/_static/demo.js

PYGMENT/pygments/doc/_static/favicon.ico

PYGMENT/pygments/doc/_static/github.png

PYGMENT/pygments/doc/_static/logo_new.png

PYGMENT/pygments/doc/_static/logo_only.png

PYGMENT/pygments/doc/_static/spinner.gif

PYGMENT/pygments/doc/_templates/demo.html

PYGMENT/pygments/doc/_templates/demo_sidebar.html