Coucou,
Pour la conversion, tu peux utiliser ffmpeg, c'est installé directement sur raspbian. Selon tes besoins en terme de latence, tu vas pouvoir choisir le format (dash, hls, rtmp / rtsp, ou même jsmpeg pour faire simple).
Pour le button, tu peux utiliser websockets. Pas trop d'idées de comment ça fonctionne en php, mais sur le raspberry, tu peux avoir un simple server qui attend une réponse, et quand il la reçoit tu peux lancer le stream via ffmpeg. Si tu utilises dash/hls, il va falloir que tu installes nginx et que tu changes les CORS de ton mini server sur le raspberry. Si t'utilises jsmpeg, tu pourras l'inclure directement sur ta page Web, et à ce moment-là je te conseille d'avoir un serveur nodejs qui envoie le stream sous websockets au client.
En terme de librairies sous python, t'as asyncio, multiprocess (c'est un peu de trop pour ce type de projet mais ça fonctionne)
Message édité le 24 janvier 2020 à 13:23:48 par Pseudo supprimé