Col du Julier (GR) : ouvrages d’infanterie