Révision datée du $1 par $2$7