v3.26.1
Dividend per ordinary share - Additional information (Details) - EUR (€)
€ / shares in Units, € in Millions
1 Months Ended 6 Months Ended 12 Months Ended 13 Months Ended
Apr. 24, 2026
Apr. 14, 2026
Apr. 30, 2026
Oct. 31, 2025
Aug. 31, 2025
May 31, 2025
Aug. 31, 2024
Jun. 30, 2026
Dec. 31, 2025
Dec. 31, 2024
Jan. 31, 2026
Dividend Per Ordinary Share [Abstract]                      
Dividends per ordinary share (in EUR per share)   € 1.086   € 0.172       € 0.400 € 1.086 € 1.060  
Dividend per ordinary share paid (in EUR per share) € 0.736   € 0.736   € 0.350 € 0.710 € 0.350        
Other cash distributions               € 0     € 500
Withholding tax on dividends paid, ordinary shares               15.00%