Pour les manuels c'est http://didier.letot.club.fr/manuels.htm ICI qur tu trouveras ton bonheur.
Pour les dk si tu as des disquettes PC en 1.44 mo il faut boucher le trou et pour les anciennes qui ne marche plus essai de les formater dans un premier temp pour voir si elles sont encore OK. Les extensions tos et prg sont effectivement des programmes extecutable comme les .exe sur PC. Pour les images disquettes et non ROMs il faut te dire que se sont comme des fichiers ISO donc il faut un logiciel qui soit capable de les extraires. Pour ce qui est de comment refaire des disquettes a partir d'un fichier msa ou st va sur le site de mon Ami Andrè il y a fait des tutos très bien fait http://tontonbruno.free.fr/atari-aide.html