[GdT Log&Prog] Demain : Gdt + éclipse + séminaire

Bonjour, Juste un petit mail pour faire un peu de clarté concernant le planning de demain : - 10h : on se voit tous en B107 pour une micro-séance de TP Coq (correction de l'exo 1 de Micaela) ; - 10h30 (ou quelques minutes avant) : on observe l'éclipse ; - 11h (ou quelques minutes après) : on se retrouve tous de nouveau en B107 pour le séminaire de Charles Grellois. Amicalement, Damiano PS : je ne pourrai pas assister au séminaire, Domenico s'occupera de l'organisation.