translate English to French: After 7.2.4.15.1, insert:
Après le 7.2.4.15.1, insérer :