Symboles utiles pour éditer des protocoles