divendidisset