Le collègue va réagir dans tous les cas, normalement à la hauteur de l'agression.
Cependant, si l'attouchement est fait en public et sans nudité, il s'agit plutôt d'une blague mal intentionnée, très courante en cours de récréation. Il n'y a pas lieu de porter plainte dans ce cas, les auteurs devront être rappelés à l'ordre par la Vie scolaire, qui décidera de la sanction.
Dans le cas où il y a eu attouchement avec nudité, c'est évidemment plus grave. Porter plainte me semble nécessaire, mais le collègue peut le faire également. Dans tous les cas, concertez-vous avec la Vie scolaire, qui saura vous épauler, vous conseiller, et au besoin vous rassurer.
Cordialement