Ok, j'ignorais. Je ne sais pas si c'est dur de maintenir deux packages distincts, avec et sans GDB, mais le fait de pouvoir choisir est sûrement un plus.