5.233 Une opération ne peut apparaître que là où une proposition est engendrée par une autre de manière logiquement significative. Donc là où commence la construction logique de la proposition.