====== Traduire/Formaliser ======
===== Description par l'auteur =====
//Description// : traduire et formaliser.
//Niveau// : U1
//Mots-clés// : logic quantifier methodology math_symbols
//Domaine// : algebra analysis geometry - //Langue// : fr
//Catégorie// : exercise
//Auteur(s)// :
Fabrice,Guerimand - //Contact// : fwguerima@free.fr
//Adresse// : module=U1/logic/tradform.fr
//Version// : 1.07 - //Copyright// 2004 2019 2022 2023 Fabrice,Guerimand
//This work is licensed under the// GNU GPL: http://www.gnu.org/licences/gpl.html
~~DISCUSSION~~