¿Qué hicieron los yihadistas de Ripoll antes de ser abatidos?