fix d'une erreur de compil : c'est la faute de gilmai_k