÷ƒ’À;è TeX output 2001.10.31:1006‹ÿÿÿÿ ª ýs o ýÝþÀ‘JZ—óUªsÉG®G®ecrm1728»Une–hçextension“de“l'en•Œyvironmen“t›hçóBCØG®G®ecss1728¼theo“rem˜»de˜LŸü]b‘ú'ÊóÓ·å ecrm1200ÃAŽŽ‘†Ç»T‘ýK*Ÿ·òEŽ‘OÂXŸùº¯ó!",š cmsy10ÂŽŽŽŸÿ’Íá`ÃF‘ÿerank‘êlMittelbac¬whŽŽ¤’»KÉElectronic–êlData“SystemsŽŽ¡’Ã3Ñ(Deutsc•¬whland)‘êlGm“bHŽŽ¡’Õ{5Eisenstra€ÿe‘êl56ŽŽ¡’Ä<¥D-65424‘êlR€üsselsheimŽŽ¡’¯œF‘ÿeederal–êlRepublic“of“German¬wyŽŽŽŽŽŸYߢ’ƒxT‘ÿeraduction–êlfran€çaise“par“Jean-Pierre“DrucbSˆertŽŽŽŽŽŽŸvV’Ñßà31–êloSˆctobre“2001ŽŸ#Ï€’è!”ó!‹–uÌ ecbx0900ÌR€ésum€éŽŸ S<‘oß$ó Ù.œŒ ecrm0900ËLes–Rfcommandes“d€écrites“dans“cette“doAÃcumenš¾ cmmi10µ"ŽŽ‘(™.¹,˜ce˜pac“k‘ÿqÐage˜n'a˜pas˜eu˜bGesoin˜de˜c“han-Ž¤ ‘Igemen•¸èts›74fondamen“taux.˜J'ai˜simplemen“t˜mo•Gdi€é˜les˜messages˜engendr€és˜p“our˜queŽ¡‘Iles–)¶stš¸èyles“d'ac˜hage“de“th€éor€èmes“apparaissen˜t“a˜v˜ec“la“commande“ó)qLË ectt1000Ô\listfiles¹,Ž¡‘Iet–Oøj'ai“purg€é“la“section“sur“le“nouvš¸èeau“sc˜h€éma“de“s€élection“des“fon˜tes“(NdT“:“NewŽ¡‘IF‘ÿ*¸onš¸èt––Selection“Sc˜heme,“ou“NFSS,“en“anglais)“parce“qu'il“fait“main˜tenan˜t“partie“deŽ¡‘ILŸýï‘üf ÓAŽŽ‘Íz¹T‘þUYŸ&úEŽ‘ã9X.Ž¦‘IÒPr€éface–G\€à“la“vcersion“2.1ŽŸæ~‘X¹Cette–C&vš¸èersion“est“iden˜tique“€à“la“v˜ersion“2.0g“d€écrite“dans“ó*”í^Ó ecsl1000ÕTUGbGoat‘zع10#3“saufŽ¡‘IpšGour–:quelques“v‘ÿqÐaleurs“par“d€éfaut,“qui“d€ép˜endenš¸èt“main˜tenan˜t“du“sc˜h€éma“de“s€électionŽ¡‘Ides–U fon¸ètes“utilis€é.Ž¡‘XCela–öa“€ét€é“fait“pGour“€éviter“des“surprises“d€ésagr€éables“si“le“nouvš¸èeau“sc˜h€éma“deŽ¡‘Is€élection–U des“fon¸ètes“est“en“vigueur.“Lire“la“section“3“et“[1Ž‘ÿ°]“pGour“les“d€étails.Ž¦‘IÒ1Ž‘`ÁInctropœductionŽŸæ~‘X¹Pš¸èour–Wnos“bGesoins“pr€ésen˜ts,“les““th€éor€èmes““son˜t“des“€énonciations“€étiquet€ées,Ž¡‘Isouv•¸èen“t›?+d€étac“h€ées˜du˜texte˜principal˜par˜un˜espace˜suppl€émen“taire˜et˜un˜c“han-Ž¡‘Igemenš¸èt–|¸de“fon˜te.“Les“th€éor€èmes,“corollaires,“conjectures,“d€énitions“et“remarquesŽ‘IŸff‰ffÿrŸ @‘ ö…Ÿý-:óq¡% cmsy6ÉŽŽ‘KÙó¦÷²"ecrm0800ÊCe–Õ(cšÃ’hier“a“le“n˜um€éro“de“v˜ersion“v2.2c,“r€évis€é“le“1995/11/23.ŽŽŸ’ø(¹1ŽŽŒ‹* ª ýs o ý´‘I¹son¸èt–6`tous“des“instances“de““th€éor€èmes“‘ÿ*¸.“L'“en-t€ête““de“ces“structures“est“com-Ž¤ ‘IpGos€é–-Cd'une“€étiquette“(telle“que“ó+åÉV eccc1000ÖTh€éor€ème“¹ou“ÖRemarµZque¹)“et“d'un“n¸èum€éro“quiŽ¡‘I–U s€érialise““un“item“dans“la“s€équence“des“items“de“m€ême“€étiquette.Ž¡‘XPš¸èeu–Â2apr€ès“l'in˜troGduction“de“LŸýï‘üf ÓAŽŽ‘Íz¹T‘þUYŸ&úEŽ‘ã9X“€à“la““F‘ÿ*¸ac˜h˜bGereic˜h“Mathematik““€à“MainzŽ¡‘I(Ma•¸èy“ence),–ˆ&le“d€ésir“de“pGouvš¸èoir“manipuler“la“pr€ésen˜tation“des““th€éor€èmes““s'estŽ¡‘Ifait–ã]senš¸ètir.“€À‘â÷Mainz,“les“deux“con˜v˜en˜tions“suiv‘ÿqÐan˜tes“son˜t“dev˜en˜ues“d'un“usageŽ¡‘Ig€én€éral‘U :Ž¤q‘U9b1.ŽŽŽ‘bLe–U n¸èum€éro“d'un“th€éor€ème“est“plac€é“dans“la“marge.Ž©qŒ‘U9b2.ŽŽŽ‘bIl–U y“a“une“coupure“de“ligne“€à“la“n“de“l'en-t€ête“du“th€éor€ème.Ž¡‘XDe–ãplus,“certains“journaux“demandenš¸èt“des“formats“di€éren˜ts“selon“le““genreŽ¤ ‘Ide–.°th€éor€ème““:“par“exemple,“les“remarques“et“d€énitions“sonš¸èt“souv˜en˜t“compGos€éesŽ¡‘Ien–U Ô\upshape¹,“tandis“que“Ô\itshape“¹est“emplo•¸èy“€é–U pGour“les“th€éor€èmes“principaux.Ž¡‘XF‘ÿ*¸ace–€à“ces“exigences,“un“en•¸èvironnemen“t›ó,Œ6 ecss1000×theo“rem˜¹a˜€ét€é˜d€év“elopp•G€é˜€à˜Mainz˜p“ourŽ¡‘IpGermettre–Íla“d€étermination“s€épar€ée“de“la“pr€ésenš¸ètation“des““ensem˜bles“de“th€éo-Ž¡‘Ir€èmes–U ‘ÿ*¸,“d'une“fa€çon“comparable“€à“Ô\pagestyle¹.ŽŸ!Ö‘IÒ2Ž‘`ÁIncterface‘G\utilisateurŽŸæ~‘Ió-¥!¢N ecbx1200Ø2.1Ž‘g¾D€énir–¸de“nouvš eaux“ensem˜bles“de“th€éor€èmesŽŸtî‘X¹Comme–&Fdans“la“v¸èersion“LŸýï‘üf ÓAŽŽ‘Íz¹T‘þUYŸ&úEŽ‘ã9X“originale,“la“commande“Ô\newtheorem“¹d€énit“unŽ‘ ¦ó.qLË ectt0900Ù\newtheoremŽŽŽŽ¡‘I¹nouvš¸èel–Ȇ“ensem˜ble“de“th€éor€èmes““ou“une“nouv˜elle““structure“de“t˜ypGe“th€éor€ème“‘ÿ*¸.Ž¡‘IDeux–Uüargumenš¸èts“obligatoires“nommen˜t“le“nouv˜el“en˜vironnemen˜t“et“donnen˜t“le“texteŽ¡‘I€à–Þ¥compGoser“a•¸èv“ec›Þ¥c“haque˜instance˜du˜nouv“el˜˜ensem“ble˜‘ÿ*¸,˜alors˜qu'un˜argumen“tŽ¡‘Ioptionnel–U d€étermine“commenš¸èt“cet““ensem˜ble““est“n˜um€érot€é“:ŽŸq‘IÔ\newtheorem{foo}{bar}ŽŽ’¼9¹L'ensemš¸èble–½…de“th€éor€èmes“Ôfoo“¹(don˜t“le“nom“est“Ôbar¹)“uti-Ž¡‘blise–U son“propre“compteur.Ž¦‘IÔ\newtheorem{foo2}[foo]{bar2}ŽŽ’àöйL'ensem¸èble–04de“th€éor€èmes“Ôfoo2“¹(nom“imprim€éŽ¡‘bÔbar2¹)–U utilise“le“m€ême“compteur“que“l'ensem¸èble“de“th€éor€èmes“Ôfoo¹.Ž¦‘IÔ\newtheorem{foo3}{bar3}[section]ŽŽ’õõ€¹L'ensem¸èble–SÀde“th€éor€èmes“Ôfoo3“¹(nom“im-Ž¡‘bprim€é–,Ôbar3¹)“est“nš¸èum€érot€é“€à“l'in˜t€érieur“de“c˜haque“v‘ÿqÐaleur“du“compteurŽ¡‘bÔsection¹,–Ìòc'est-€à-dire“qu'€à“cš¸èhaque“nouv˜elle“Ô\section“¹la“n˜um€érotation“re-Ž¡‘bcommence–Á€à“1,“et“que“le“nš¸èum€éro“imprim€é“est“form€é“du“n˜um€éro“de“section“etŽ¡‘bdu–U n¸èum€éro“du“th€éor€ème“lui-m€ême.Ž©q‘XDe–UÄplus,“la“commande“Ô\theoremstyle“¹pGeut“d€énir“la“pr€ésen¸ètation“(au“sensŽ‘— Ù\theoremstyleŽŽŽŽ¡‘I¹mise–ú9en“page)“de“divš¸èers“ensem˜bles“de“th€éor€èmes,“ou“de“tous.“Il“faut“noterŽ¡‘Ique–™tout“ensem¸èble“de“th€éor€èmes“d€éni“par“Ô\newtheorem“¹sera“compGos€é“dans“leŽ¡‘IÔ\theoremstyle–Fú¹qui“est“celui“couranš¸èt“au“momen˜t“de“la“d€énition.“Donc“les“d€éni-Ž¡‘Itions‘U suiv‘ÿqÐan¸ètesŽŸq‘[å8Ù\theoremstyle{break}‘%Êp\newtheorem{Cor}{Corollaire}ŽŸ ‘[å8\theoremstyle{plain}‘%Êp\newtheorem{Exa}{Exemple}[section]Ž¦‘I¹fon•¸èt›^Tnalemen“t˜que˜l'ensem“ble˜ÔCor˜¹est˜mis˜en˜page˜dans˜le˜st“yle˜Ôbreak¹,˜alors˜queŽ¡‘Il'ensemš¸èble–m[ÔExa“¹et“tous“les“suiv‘ÿqÐan˜ts“son˜t“mis“en“page“dans“le“st˜yle“Ôplain¹,“€à“moinsŽ¡‘Iqu'une–¤7autre“commande“Ô\theoremstyle“¹suiv¸èe.“Bien“que“les“d€énitions“install€éesŽ¡‘Ipar–c|Ô\newtheorem“¹soien¸èt“globales,“on“pšGeut“aussi“limiter“la“p˜ort€ée“de“Ô\theoremstyleŽ¡‘I¹lošGcalemen¸èt–U par“des“accolades“de“group˜emen¸èt.Ž¡‘XLe–8cš¸èhoix“de“la“fon˜te“pGour“le“corps“du“th€éor€ème“est“compl€ètemen˜t“ind€épGendan˜tŽ‘òk Ù\theorembodyfontŽŽŽŽŽŸ’ø(¹2ŽŽŒ‹ © ª ýs o ý´‘I¹du–U Ô\theoremstyle“¹cš¸èhoisi‘ª“;“ceci“s'est“r€év˜€él€é“tr€ès“a˜v‘ÿqÐan˜tageux.“P˜ar“exemple,ŽŸq‘W+êÙ{\theorembodyfont{\upshape}‘/= \newtheorem{Rem}{Remarque}}Ž©q‘I¹d€énit–ÜÍun“ensem¸èble“de“th€éor€èmes“ÔRem¹,“qui“sera“compGos€é“en“Ô\upshape“¹dansŽ¤ ‘Ila–(òpr€ésenš¸ètation“couran˜te“(qui“dans“notre“exemple“est“Ôplain¹).“Comme“pGourŽ¡‘IÔ\theoremstyle¹,–û’la“fonš¸ète“Ô\theorembodyfont“¹c˜hoisie“est“celle“couran˜te“lors“de“laŽ¡‘Icommande–ÈbÔ\newtheorem¹.“Si“la“fon¸ète“Ô\theorembodyfont“¹n'est“pas“spG€éci€ée“ou“siŽ¡‘Ivš¸èous–Ë:d€énissez“Ô\theorembodyfont{}¹,“alors“la“fon˜te“utilis€ée“sera“celle“d€énie“parŽ¡‘Ile‘U Ô\theoremstyle¹.Ž¡‘XIl–Æest“aussi“pšGossible“d'adapter“la“fon¸ète“utilis€ée“p˜our“les“en-t€êtes“de“th€éor€èmes.Ž‘èø„Ù\theoremheaderfontŽŽŽŽ¡‘I¹Ceci–Lest,“cepGendanš¸èt,“une“d€éclaration“globale“et“il“devrait“donc“y“a˜v˜oir“au“plus“uneŽ¡‘Id€éclaration–U Ô\theoremheaderfont“¹dans“le“pr€éam¸èbuleŸü^ÿÓ1ŽŽ‘|2¹.Ž¡‘XDeux–¡param€ètres“suppl€émenš¸ètaires“aecten˜t“l'espace“v˜ertical“autour“des“en˜vi-Ž‘ÚÌšÙ\theorempreskipamountŽŽŽŽ¡‘ÖL\theorempostskipamountŽŽŽŽ¡‘I¹ronnemen•¸èts›vr×theo“rem˜¹:˜Ô\theorempreskipamount˜¹et˜Ô\theorempostskipamount˜¹d€é-Ž¡‘Inissen•¸èt›hrespGectiv“emen“t˜l'espacemen“t˜a“v‘ÿqÐan“t˜et˜apr€ès˜un˜tel˜en“vironnemen“t.˜CesŽ¡‘Iparam€ètres–lh(qui“sonš¸èt“des“longueurs)“s'appliquen˜t“€à“tous“les“ensem˜bles“de“th€éo-Ž¡‘Ir€èmes–Þet“pGeuv•¸èen“t–Þ€être“manipul€és“par“les“commandes“sur“longueurs“habituelles.Ž¡‘ICe–\Psonš¸èt“des“longueurs“€élastiques,“(`×skips¹'),“et“donc“pGeuv˜en˜t“compGorter“des“partiesŽ¡‘IÔplus–U ¹et“Ôminus¹.Ž¡‘XComme–qžla“d€énition“des“ensemš¸èbles“de“th€éor€èmes“devrait““raisonnablemen˜t“Ž¡‘I€être–‘plac€ée“dans“le“pr€éam¸èbule,“nous“ne“la“pšGermettons“que“l€à.“Il“est“donc“p˜ossibleŽ¡‘Ide–k-libšG€érer“la“m€émoire“utilis€ée“p˜our“cela“apr€ès“Ô\begin{document}¹,“p˜our“laisser“deŽ¡‘Ila–U place“€à“d'autres“applications.ŽŸýY‘IØ2.2Ž‘g¾Stš yles–¸de“th€éor€èmes“existan˜tsŽŸtî‘X¹€À–U ce“jour“les“stš¸èyles“suiv‘ÿqÐan˜ts“de“th€éor€èmes“son˜t“dispGonibles“:Ž¦‘IÔplainŽŽ’‡¼d¹Ce–Pîstš¸èyle“de“th€éor€ème“€ém˜ule“la“d€énition“originale“de“LŸýï‘üf ÓAŽŽ‘Íz¹T‘þUYŸ&úEŽ‘ã9X,“saufŽ¡’‡¼dqu'en–°,plus“les“deux“param€ètres“Ô\theorem{post,pre}skipamountŽ¡’‡¼d¹son¸èt‘U utilis€és.Ž¤qŒ‘IÔbreakŽŽ’‡¼d¹Dans–?ce“st¸èyle,“l'en-t€ête“du“th€éor€ème“est“suivi“d'une“coupure“de“ligne.Ž¡‘IÔmarginbreakŽŽ’‡¼d¹Le–Hˆn¸èum€éro“du“th€éor€ème“est“plac€é“dans“la“marge,“et“il“y“a“une“coupureŽŸ ’‡¼dde–U ligne“comme“dans“le“st¸èyle“Ôbreak¹.Ž¡‘IÔchangebreakŽŽ’‡¼d¹Comme–U Ôbreak¹,“mais“a•¸èv“ec›U n“um€éro˜et˜texte˜de˜l'en-t€ête˜in“terv“ertis.Ž¡‘IÔchangeŽŽ’‡¼d¹Num€éro–U et“texte“de“l'en-t€ête“in•¸èterv“ertis,–U sans“coupure“de“ligne.Ž¡‘IÔmarginŽŽ’‡¼d¹Le–U n¸èum€éro“est“plac€é“dans“la“marge,“sans“coupure“de“ligne.Ž¦‘IT‘ÿ*¸ous–RÚles“stš¸èyles“(sauf‘êÔplain¹)“c˜hoisissen˜t“Ô\slshape“¹comme“Ô\theorembodyfont“¹parŽ¤ ‘Id€éfaut.ŽŸýY‘IØ2.3Ž‘g¾ExemplesŽŸtî‘X¹€Étanš¸èt– %donn€és“les“ensem˜bles“de“th€éor€èmes“ci-dessus“ÔCor¹,“ÔExa“¹et“ÔRem¹,“suppGosonsŽ¡‘Ique–U le“pr€éamš¸èbule“con˜tienne“aussi“les“d€éclarations“:ŽŸq‘`ž†Ù\theoremstyle{marginbreak}‘+ê\newtheorem{Lem}[Cor]{Lemme}ŽŸ ‘`ž†\theoremstyle{change}Ž‘IŸff‰ffÿrŸ E¼‘ !iŸý-:Ð1ŽŽŽ‘KÙÊS'il–?est“en“fait“n€écessaire“d'a•Ã’v“oir›?di€éren“tes˜fon“tes˜py<Ö2Ž‘ILemme–Æà(Ben“User)ŽŸ ŽŽŽŽ‘IÕCeci–U est“une“phrase“compGos€ée“dans“l'en•¸èvironnemen“t–U theorem“ÔLemÕ.Ž¡‘IÖ3–ÆàD€éfinition“(D€éfinition“Tr€ès“Impressionnante)ŽŽ’@?ºCe›ÿ}/ci–%Iest“une“phr˜ase“c˜om-Ž¤ ‘Ip–ÿ}/os€é“e–“°dans“l'envir›ÿ}/onnement“the˜or˜em“ÔDefº.ŽŸ‘X¹Les–u deux“derniers“exemples“mon•¸ètren“t–u l'eet“de“l'argumen¸èt“optionnel“sur“unŽ¡‘Ien•¸èvironnemen“t›U ×theo“rem˜¹(c'est˜le˜texte˜compGos€é˜en“tre˜paren“th€èses).ŽŸ!Ö‘IÒ3Ž‘`ÁConsid€érations‘G\sppœ€écialesŽŸæ~‘X¹L'en-t€ête–6Pet“le“corps“du“th€éor€ème“formen¸èt“une“m€ême“unit€é“dans“la“r€éalisation.Ž¡‘ICeci–[œsignie“que“la“fon¸ète“Ô\theoremheaderfont“¹h€éritera“des“caract€éristiques“de“laŽ¡‘Ifonš¸ète–ÝÔ\theorembodyfont“¹a˜v˜ec“LŸýï‘üf ÓAŽŽ‘Íz¹T‘þUYŸ&úEŽ‘ã9X‘ä2Ÿÿµ"ŽŽ‘(k~¹.“Donc“par“exemple,“si“Ô\theorembodyfontŽ¡‘I¹est–Ì€Ô\itshape“¹et“Ô\theoremheaderfont“¹est“Ô\bfseries¹,“la“fon¸ète“s€électionn€ée“pGourŽ¡‘Il'en-t€ête–¼´aura“les“caract€éristiques“`bGold“extended“italic'“(italique“gras-€étendu).“SiŽ¡‘Ice–?+n'est“pas“ce“que“vš¸èous“v˜oulez,“v˜ous“pGouv˜ez“d€énir“Ô\theoremheaderfont“¹a˜v˜ecŽ¡‘Iquelque–U c¸èhose“commeŽŸq‘eWÔÙ\theoremheaderfont{\normalfont\bfseries}ŽŸ ¦‘I¹c'est-€à-dire–ôfournir“explicitemenš¸èt“toutes“les“informations“n€écessaires“sur“les“fon˜tes.Ž©!Ö‘IÒ4Ž‘`ÁRemerciemenctsŽŸæ~‘X¹La–Ypublication“de“cet“ensem¸èble“de“commandes“n'a“€ét€é“pGossible“que“gr€âce“€à“l'aideŽ¡‘Ide–üChristina“Busse“(traduisanš¸èt“le“man˜uscrit“en“anglais),“Joac˜him“P˜ense“(jouan˜tŽ¡‘Ile–HGr€ôle“de“tš¸èypGographe),“Chris“Ro˜wley“(c˜hapGeautan˜t“tout)“et“de“bGeaucoup“d'autresŽ¡‘Iqui–U onš¸èt“appGort€é“des“suggestions“tr€ès“in˜t€éressan˜tes.Ž¦‘IÒR€éf€érencesŽŸæ~‘I¹[1]ŽŽ‘XÖM.–Goossens¹,›ßÖF.“MittelbaµZch˜¹and˜ÖA.“Samarin¹.‘¡The˜LŸýï‘üf ÓAŽŽ‘Íz¹T‘þUYŸ&úEŽ‘ã9X˜Companion.Ž¡‘XAš¸èddison-W–ÿ*¸esley“,–U Reading,“Massac˜h˜usetts,“1994.ŽŸqŒ‘I[2]ŽŽ‘XÖLampor‘ÿ t,‘ÆàLeslie.‘n¨Ôlatex.tex¹,–U v¸èersion“2.09,“date“F‘ÿ*¸eb.“1990.ŽŽŸ’ø(4ŽŽŒ‹*Ü ª ýs o ý´‘IÒChange‘G\HistoryŽ è³ ÿ:‘IËv1.0Ž¤ ‘XGeneral–$:“First“draft.‘W‘}m.Ž–Œw‘}m.Ž“‘}m.Ž“‘}m.Ž“‘}m.Ž“‘}m.Ž“‘}m.Ž“‘}m.Ž“‘}m.Ž“‘}m.Ž‘ ƒF1Ž¡‘Iv1.0aŽ¡‘XGeneral–$:“`thistheoremst¾ cmmi10ù@ßßßßß