utilisation de <hr/> pour la règle d'inférence

Signed-off-by: Nicolas Cailloux <caillouxnicolas@gmail.com>