Un premier carnet des développeurs pour Gravel