@crouzet On les fabrique comment les théorèmes ?
source [email protected] (marpalix)