Arrêté du 23 novembre 1987 relatif à la sécurité des navires
Article 15.21
Détecteurs de température
Il faut utiliser des détecteurs de température pour surveiller la température de la pompe à cargaison afin de détecter tout échauffement anormal dû à une défaillance de la pompe.