Switch to Latin Modern font (and fudge some line breaks).

1 files changed, 4 insertions, 3 deletions

diff --git a/transp-inf110-01-calc.tex b/transp-inf110-01-calc.tex
index 8bad0a5..694848c 100644
--- a/transp-inf110-01-calc.tex
+++ b/transp-inf110-01-calc.tex
@@ -5,6 +5,7 @@
 \usepackage[shorthands=off,francais]{babel}
 \usepackage[utf8]{inputenc}
 \usepackage[T1]{fontenc}
+\usepackage{lmodern}
 \DeclareUnicodeCharacter{00A0}{~}
 \DeclareUnicodeCharacter{2026}{...}
 \DeclareUnicodeCharacter{1E25}{\d{h}}
@@ -1731,9 +1732,9 @@ Supposons par l'absurde $h$ est calculable : alors cette fonction
 (partielle) $v$ est calculable, disons $v = \varphi_c$.
 
 Si $\varphi_c(c)\downarrow$ alors $h(c,c)=1$ donc $v(c)\uparrow$,
-c'est-à-dire $\varphi_c(c)\uparrow$, une contradiction.  Si
+c'est-à-dire $\varphi_c(c)\uparrow$, contradiction.\\ Si
 $\varphi_c(c)\uparrow$ alors $h(c,c)=0$ donc $v(c)\downarrow$,
-c'est-à-dire $\varphi_c(c)\downarrow$, une contradiction.\qed
+c'est-à-dire $\varphi_c(c)\downarrow$, contradiction.\qed
 
 \bigskip
 
@@ -3566,7 +3567,7 @@ fonctions calculables au sens de Church-Turing.
 \bigskip
 
 Un ordinateur réel ne peut \alert{jamais faire plus} qu'une machine de
-Turing (sauf p.-ê. : génération de hasard vrai).  La question est de
+Turing (sauf p.-ê. : faire du hasard vrai).  La question est de
 savoir si le langage permet \alert{autant}.
 
 \bigskip