Question

I was watching a football match today and there was a really interesting editing technique and I was wondering if it had a name. The camera zoomed in when the goal keeper put the ball down but whilst he ran to kick it the camera zoomed out, it may seem about as simple as zooming in and out but it went with the action and had a really Good effect.