corrections à la preuve, stats supplémentaires