Cahier des charges

On peut alors définir le cahier des charges partiel suivant :