Que contenait la loi contre la corrida récemment retirée ?