Jeudi dernier, j'étais fort sympathiquement accueilli par mes collègues de l'INRIA-Rennes. Après une instructive discussion sur les preuves arithmétique en Coq, j'ai passé la fin de l'après-midi à une double occupation :

  • Écouter/regarder Al Jazeera en anglais, retransmettant en direct les images dramatiques des évènements en Égypte, que je n'ose encore qualifier de « révolution » parce qu'on ne sait pas ce qu'il en adviendra, et que de toute façon une révolution appelle son (Omar) Thermidor.
  • Faire rentrer un article initialement prévu pour un format long (ACM double colonne sur une dizaine de pages) dans un format plus court (15 pages format LNCS), soit faire rentrer 29 pages dans 15.

Je ne peux m'empêcher de penser que j'ai des soucis bien véniels.