giving up to understand the deeper reason for #3407
giving up to understand the deeper reason for #3407

lino-framework/book,lsaffre/lino_book,lsaffre/lino_book,lsaffre/lino_book,lino-framework/book,lino-framework/book,lino-framework/book