Catégorification des degrés ludiques, par Christophe Chalons (9 et 16 décembre 2015)