Thank you "robpors613" it was not clear on the WD site!
https://www.wdc.com/fr-fr... It seems that WD RED is only available in 5400rpm!
The Digitec datasheets for this product are not correct by the way.
To get 7200rpm you have to go for the "WD Gold".