[Echobase-commits] 03/03: Fixes #8167 (La documentation n'est pas bien formatée)