This is TeX, Version 3.14159 (Web2C 7.4.5) (format=latex 2005.2.18) 27 NOV 2006 12:21 **cours9 (./cours9.tex LaTeX2e <2001/06/01> Babel and hyphenation patterns for american, french, german, ngerman, n ohyphenation, loaded. \@input{header.aux} \openout2 = `header.aux'. (./header.tex (/usr/share/texmf/tex/latex/base/slides.cls Document Class: slides 1997/08/15 v2.3z Standard LaTeX document class (/usr/share/texmf/tex/latex/base/slides.def File: slides.def 1997/08/15 v2.3z SLiTeX definitions hacks, slides, \c@page=\count79 picture, mods, \@smashboxa=\box26 \@smashboxb=\box27 \@smashboxc=\box28 output, init) (/usr/share/texmf/tex/latex/base/sfonts.def File: sfonts.def 1998/06/12 v2.2e Standard LaTeX slide font definitions (/usr/share/texmf/tex/latex/base/ot1lcmss.fd File: ot1lcmss.fd 1998/06/12 v2.2e Standard LaTeX slide font definitions )) \c@minutes=\count80 \c@seconds=\count81 \c@mv@invisible=\count82 LaTeX Font Info: Overwriting symbol font `operators' in version `normal' (Font) OT1/cmr/m/n --> OT1/lcmss/m/n on input line 364. LaTeX Font Info: Overwriting symbol font `letters' in version `normal' (Font) OML/cmm/m/it --> OML/lcmm/m/it on input line 367. LaTeX Font Info: Overwriting symbol font `symbols' in version `normal' (Font) OMS/cmsy/m/n --> OMS/lcmsy/m/n on input line 369. LaTeX Font Info: Overwriting symbol font `largesymbols' in version `normal' (Font) OMX/cmex/m/n --> OMX/lcmex/m/n on input line 371. LaTeX Font Info: Overwriting symbol font `operators' in version `invisible' (Font) OT1/cmr/m/n --> OT1/lcmss/m/In on input line 374. LaTeX Font Info: Overwriting symbol font `letters' in version `invisible' (Font) OML/cmm/m/it --> OML/lcmm/m/Iit on input line 376. LaTeX Font Info: Overwriting symbol font `symbols' in version `invisible' (Font) OMS/cmsy/m/n --> OMS/lcmsy/m/In on input line 378. LaTeX Font Info: Overwriting symbol font `largesymbols' in version `invisibl e' (Font) OMX/cmex/m/n --> OMX/lcmex/m/In on input line 380. ) (/usr/share/texmf/tex/latex/graphics/color.sty Package: color 1999/02/16 v1.0i Standard LaTeX Color (DPC) (/usr/share/texmf/tex/latex/config/color.cfg File: color.cfg 2001/08/31 v1.1 color configuration of teTeX/TeXLive ) Package color Info: Driver file: dvips.def on input line 125. (/usr/share/texmf/tex/latex/graphics/dvips.def File: dvips.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR) ) (/usr/share/texmf/tex/latex/graphics/dvipsnam.def File: dvipsnam.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR) )) (/usr/share/texmf/tex/latex/misc/isolatin1.sty ISO-latin-1 input coding, version 0.9 of 1-Jun-1992.) No file cours9.aux. \openout1 = `cours9.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 10. LaTeX Font Info: ... okay on input line 10. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 10. LaTeX Font Info: ... okay on input line 10. LaTeX Font Info: Checking defaults for OT1/lcmss/m/n on input line 10. LaTeX Font Info: ... okay on input line 10. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 10. LaTeX Font Info: ... okay on input line 10. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 10. LaTeX Font Info: ... okay on input line 10. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 10. LaTeX Font Info: ... okay on input line 10. ) LaTeX Font Info: Try loading font information for OML+lcmm on input line 8. (/usr/share/texmf/tex/latex/base/omllcmm.fd File: omllcmm.fd 1998/06/12 v2.2e Standard LaTeX slide font definitions ) LaTeX Font Info: Try loading font information for OMS+lcmsy on input line 8. (/usr/share/texmf/tex/latex/base/omslcmsy.fd File: omslcmsy.fd 1998/06/12 v2.2e Standard LaTeX slide font definitions ) LaTeX Font Info: Try loading font information for OMX+lcmex on input line 8. (/usr/share/texmf/tex/latex/base/omxlcmex.fd File: omxlcmex.fd 1998/06/12 v2.2e Standard LaTeX slide font definitions ) LaTeX Font Info: External font `cmex10 at17.28pt' loaded for size (Font) <19.907> on input line 8. LaTeX Font Info: External font `cmex10 at17.28pt' loaded for size (Font) <16.59> on input line 8. LaTeX Font Info: External font `cmex10 at17.28pt' loaded for size (Font) <13.82> on input line 8. Overfull \hbox (13.453pt too wide) in paragraph at lines 8--11 []\OT1/lcmss/m/n/19.907 Ajouter des "as-ser-tions" val-ables ^^Ra diff^^Serents [] Overfull \hbox (1.28755pt too wide) in paragraph at lines 8--11 \OT1/lcmss/m/n/19.907 points du pro-gramme et telles que cer-taines [] Overfull \hbox (65.57053pt too wide) in paragraph at lines 8--11 \OT1/lcmss/m/n/19.907 sont ^^Sevidentes et les autres sont des cons^^Sequences [] [1 ] LaTeX Font Info: Try loading font information for OT1+lcmtt on input line 23 . (/usr/share/texmf/tex/latex/base/ot1lcmtt.fd File: ot1lcmtt.fd 1998/06/12 v2.2e Standard LaTeX slide font definitions ) Overfull \hbox (8.9604pt too wide) in paragraph at lines 28--31 []\OT1/lcmss/m/n/19.907 R^^Regle de d^^Seduction: apr^^Res l'affectation []\OT1 /lcmtt/m/n/19.907 x:=E\OT1/lcmss/m/n/19.907 , [] [2] Overfull \hbox (14.49324pt too wide) in paragraph at lines 38--39 []\OT1/lcmss/m/n/19.907 le code []\OT1/lcmtt/m/n/19.907 si x>y alors t:=x; x:=y ; y:=t finsi [] Overfull \hbox (4.17966pt too wide) in paragraph at lines 45--46 []\OT1/lcmss/m/n/19.907 donc, $\OML/lcmm/m/it/19.907 x <\OT1/lcmss/m/n/19.907 = \OML/lcmm/m/it/19.907 y$ \OT1/lcmss/m/n/19.907 est vrai ^^Ra la fin de l'instr uction [] [3] Class slides Warning: Slide 3 too long on input line 47. [3] Overfull \hbox (32.3924pt too wide) in paragraph at lines 54--55 []\OT1/lcmss/m/n/19.907 Ensemble d'assertions con-nues avant la boucle [] [4] [5] Overfull \hbox (44.83443pt too wide) in paragraph at lines 101--102 []\OT1/lcmss/m/n/19.907 pour d^^Seduire la post-con-di-tion souhait^^See, ajout er [] [6] Class slides Warning: Slide 6 too long on input line 103. [6] Overfull \hbox (22.02412pt too wide) in paragraph at lines 110--112 \OT1/lcmss/m/n/19.907 post-con-di-tion est vraie quand et si l'ex^^Secution [] [7] Overfull \hbox (16.37212pt too wide) in paragraph at lines 132--137 \OT1/lcmss/m/n/19.907 l'ensemble des valeurs de []\OT1/lcmtt/m/n/19.907 T \OT1/ lcmss/m/n/19.907 (met-tons $\OML/lcmm/m/it/19.907 val\OT1/lcmss/m/n/19.907 (\OM L/lcmm/m/it/19.907 T\OT1/lcmss/m/n/19.907 )$), [] [8] Class slides Warning: Slide 8 too long on input line 141. [8] [9] Overfull \hbox (19.67403pt too wide) in paragraph at lines 162--164 []\OT1/lcmss/m/n/19.907 comparer la valeur chrerch^^See avec un ^^Sel^^Sement [] Overfull \hbox (22.992pt too wide) in paragraph at lines 164--166 \OT1/lcmss/m/n/19.907 per-met de sup-primer une ligne ou une colonne [] [10] Class slides Warning: Slide 10 too long on input line 174. [10] Overfull \hbox (5.2941pt too wide) in paragraph at lines 181--183 []\OT1/lcmss/m/n/19.907 Un tableau []\OT1/lcmtt/m/n/19.907 V \OT1/lcmss/m/n/19. 907 (uni-di-men-sion-nel) con-tient des [] Overfull \hbox (34.88097pt too wide) in paragraph at lines 186--187 []\OT1/lcmss/m/n/19.907 facile ^^Ra trou-ver le code qui main-tient l'invariant [] [11] [12] (./cours9.aux) ) Here is how much of TeX's memory you used: 661 strings out of 95847 9594 string characters out of 1195948 50312 words of memory out of 1000001 3639 multiletter control sequences out of 10000+50000 7384 words of font info for 27 fonts, out of 500000 for 1000 14 hyphenation exceptions out of 1000 24i,5n,21p,201b,248s stack positions out of 1500i,500n,5000p,200000b,5000s Output written on cours9.dvi (16 pages, 14224 bytes).