Opération de la police républicaine