Sept mineurs tués dans un bombardement contre la guérilla