mangue (variante orthographique)