[Cordiali]

I'd assume you can get USB floppy drives for 3½" disks pretty cheaply. I think I might've even seen that in my BIOS settings as an option.