Quels sont les outils indispensables pour réparer une fuite ?