Émile Pinet-Laprade, né à Mirepoix et gouverneur du Sénégal