envl / td01 : linux vs Linux vs \texttt{linux} etc.
Created by: nvansteenkiste
comme le très gros boulot a été fait, il reste des miettes typographiques.
1re miette : tout au long du td, il y a des Linux, \texttt{Linux}, linux et \textbf{Linux}. je ne comprends pas toujours la logique sous-jacente. pourquoi ne pas toujours écrire Linux ?