Bonaventure took this from Alexander of Hales: necessity of compulsion against necessity of inevitability
Bonaventure learned this teaching from his master, Alexander of Hales, who in many places makes the essential freedom of free choice consist in freedom from compulsion.
His clearest statement runs: 'Necessity is of two kinds, of inevitability and of compulsion. The necessity of compulsion destroys free choice; the necessity of inevitability does not. So although there is a necessity of inevitability in the angels, they still have free choice.' (Summa, part 2, q. 72, memb. 3, art. 3.)
Latin
XVI. Atque hanc doctrinam ab institutore suo Alexandro de Hales hauserat Bonaventura. Is enim pluribus in locis libertatem essentialem liberi arbitrii constituit in libertate a coactione. Praesertim vero haec sunt illius verba. Duplex est necessitas inevitabilitatis & coactionis. Necessitas coactionis tollit liberum arbitrium, sed non necessitas inevitabilitatis, licet ergo in angelis sit necessitas inevitabilitatis, nihilominus tamen est liberum arbitrium, 2. p. q. 72. memb. 3. art. 3.