7: Flori diaconi ecclesiam Lugdunensis libri quatuor de gratia et praedestinatione