1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
|
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
"http://www.w3.org/TR/html4/loose.dtd">
<html xml:lang="fr" >
<head><title>Remerciements</title>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<meta name="generator" content="TeX4ht (http://www.tug.org/tex4ht/)">
<meta name="originator" content="TeX4ht (http://www.tug.org/tex4ht/)">
<!-- info,2,imgdir:images/,sec-filename,next,index=2,url-enc,html -->
<meta name="src" content="index.tex">
<link rel="stylesheet" type="text/css" href="index.css">
</head><body
>
<!--l. 5--><p class="noindent" ><div id="container"> <!--l. 5--><div class="crosslinks"><p class="noindent">[<a
href="bibname.html" >next</a>] [<a
href="CompilerTw.html" >prev</a>] [<a
href="CompilerTw.html#tailCompilerTw.html" >prev-tail</a>] [<a
href="#tailRemerciements.html">tail</a>] [<a
href="index.html#Remerciements.html" >up</a>] </p></div>
<!--l. 5--><p class="indent" > <h1><a
id="x55-58000C"></a>Remerciements</h1>
<!--l. 7--><p class="indent" > Microsoft, Windows, et le logo Windows sont des marques déposées de
Microsoft Corporation aux États Unis et autres pays.
<!--l. 9--><p class="indent" > Apple, Mac, et Mac OS sont des marques déposées de Apple Inc., enregistrés
aux États Unis et d’autres pays.
<!--l. 11--><p class="indent" > GitHub est une marque déposée de GitHub Inc.
<!--l. 13--><p class="indent" > Sauf précision autrement, toutes les icônes font soit partie de T<sub>E</sub>Xworks, soit de la
bibliothèque d’icônes Tango (<a
href="http://tango.freedesktop.org/Tango_Icon_Library" class="url" >http://tango.freedesktop.org/Tango_Icon_Library</a>).
<!--l. 15--><div class="crosslinks"><p class="noindent">[<a
href="bibname.html" >next</a>] [<a
href="CompilerTw.html" >prev</a>] [<a
href="CompilerTw.html#tailCompilerTw.html" >prev-tail</a>] [<a
href="Remerciements.html" >front</a>] [<a
href="index.html#Remerciements.html" >up</a>] </p></div>
<!--l. 15--><p class="indent" > <a
id="tailRemerciements.html"></a> </div>
</body></html>
|