[Tutti-commits] 02/04: le BatchSavedEvent étend EventObject refs #7972