Gerberto d’Aurillac e la principessa bizantina Teofano: insieme per l'Impero ottoniano