[Observe-commits] 01/01: La boîte "A propos" ne fonctionne pas (fixes #8564)