on sort les corriges sous deux formats
checkpoint