Optimized while working on #1906
Optimized while working on #1906

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