Le colonel Georges Pierrini, ancien patron des gendarmes d'Eure-et-Loir, est décédé à Paris