提出結果をまとめるスクリプト．ついでに色も変えます．
Version au 23/03/2020. Voir la dernière version.
Voici les versions de ce script où le code a été modifié. Voir toutes les versions.
