On peut contracter certaines parties d'un lambda-terme : plusieurs applications successives d'un même terme/variable peuvent etre " factorisées ". Dans les expressions mathématiques il y a deux types ...

Outre deux buts, synonymes d’une nouvelle défaite, l’Amiens SC a récolté deux cartons jaunes face au Red Star, vendredi soir. Et l’un d’entre eux pourrait bien avoir de rapides conséquences. Découvrez ...