cambiar tamaño imágenes

Cuando por cualquier motivo tenemos que cambiar el tamaño de un grupo de imágenes puede resultar muy tedioso, además de lento, hacerlo de una en una. Por…