Il s’était illustré dans le démantèlement d’un gros réseau pédophile : au Castellet, le major de gendarmerie Bernard Robert est mort à 76 ans