Surgeons operating with surgical tools in an operating theatre