The Virgo interferometer RID C-9235-2011 RID B-5375-2009 RID A-1920-2008