提出結果をまとめるスクリプト．ついでに色も変えます．
À partir de 2020-03-23. Voir la dernière version.
Ceci est la version du script où le code a été mise à jour. Présenter toutes les versions.
