EP3395682B1 - A Device for Regulating a Setpoint for a Speed of Rotation of a Rotorcraft Rotor, a Rotorcraft Fitted with Such a Device, and an Associated Method of Regulation