Compagnie de pionniers de la Légion étrangère