À Grasse, les gérants du Pinocchio prennent leur retraite