modif flycheck.texi