16.4.19
26b68dcc · [#33507] ETAT_INIT may be a singleton sequence ·