France : l'inflation ralentit à 5,1% sur un an en mai