Final edits, I think.
authorThomas Pietrzak <thomas.pietrzak@gmail.com>
Thu, 5 May 2022 13:01:38 +0000 (15:01 +0200)
committerThomas Pietrzak <thomas.pietrzak@gmail.com>
Thu, 5 May 2022 13:01:38 +0000 (15:01 +0200)
commit14cef28e3f2abc24550cd2982ad3cfe72e8722b5
tree93e4774dd41acf485f3b5363af4b0f55b2e1fd24
parentb3d819b19fc34110df7759fcc1fa79bd6ae2bd39
Final edits, I think.
hdrmain.tex
tex/0-titre.tex
tex/1-introduction.tex