General anaesthesia for cardiac catheterisation in children