ajout de Pygment (config)