Revision c1b1230f4d59c37eefa638542bd625ee5a5e0e66

@CoqExtraction/Letouzey/ref

#54 #55