Geriadur ar skiantoù hag an teknikoù Dictionnaire des sciences et des techniques

logique ◊ proposition découlant directement d'une autre proposition ou d'un théorème