GT : Entropie, de la physique statistique aux mathématiques Louis-Pierre Chaintron Ce groupe de travail s’intéressera à la formalisation et 20h