Légére modification

Modification sans importance pour le code