To-dos

Gildas' to-do list is empty.