Des policiers irlandais rendent hommage aux trois gendarmes tués près de Saint-Just dans le Puy-de-Dôme