La pompe $DGB fera 3, elle pousse 0,00801.