C1. Règles Kheops non génériques

Les noms de groupes sont représentés entre les signes $$ (comme par exemple $groupe$) afin de montrer que cette partie peut être remplacée par n'importe quel élément de même nature (nom de groupe, de service...).