Программа девятого этапа чемпионата мира по автогонкам в классе машин "Формула-1" сезона 2025 года - Гран-при Испании -