Integration of functional imaging in radiosurgery: the example of PET scan.