du coup je regarde comment changer un curseur de souris sous linux