IV. Grothendieck groups of ringed toposes

1. Reminders and generalities on Grothendieck groups

Let