Corrections de petits bugs dans le header et ajout d'un paramètre pour hasher