#2521 Doctests
#2521 Doctests

lino-framework/welfare,lsaffre/lino-welfare,lino-framework/welfare,lsaffre/lino-welfare,lsaffre/lino-welfare,lsaffre/lino-welfare,lsaffre/lino-welfare,lino-framework/welfare,lino-framework/welfare,lino-framework/welfare