Résultats de la recherche

....php?search=%22tri%C3%A8dre+direct%22&title=Sp%C3%A9cial:Recherche&profile=default&fulltext=1&searchToken=lld9tokto40reknmha31npc6 <u>ici</u>]) mais n'est déf ...e Code/commentaire (coq par ex.)= Article/discussion (dans mediawiki)= Coq/Mediawiki. <code>Definition MetaDev.0 : METHODE. approximativly Coq/STyxWiki. doute. ...