la sortie "vga" du pi est un hack un peu dégeu qui ne permet pas, pour le moment, de cracher du 15khz.... donc non, tu ne pourras pas avoir du rgb 15khz avec un raspberry pi sans utiliser un downscaler/truccrade
pour le pc, oui, à la condition d'utiliser une carte ATI (quoique maintenant ....) et les drivers calamity (voire même atombios si ta carte le permet, comme ça 15khz même au boot)
au risque de me répéter, si tu veux jouer à des jeux fait pour du 15khz, cherches pas à l'afficher sur du 31, ça sera dégeulasse ... prend le temps et fait l'effort de mettre en place une solution 15khz et tu seras 1000 fois récompensé plutot qu'un truc crade