Title: Antonio Vivaldi : a guide to research