Plein de trucs pour corriger ses erreurs git.

Wouhoo un ordinateur portable avec un processeur intel 386 !
Le vieux 386 qui traine encore chez mes parents ne permettait pas de faire tourner windows 95 par contre

Comment faire de la preuve formelle en C

Ho un clone de la nintendo switch !
Combien de temps va-t-il tenir avant de subir les foudres de nintendo ?

Une IP Verilog pour jouer du son à partir d'échantillons en PCM 16bits (DAC sigma delta).

«Comment peut-on forcer le président de la république à la démission ?

Il n'existe pas de disposition légale permettant de forcer le président de la République à démissionner en France. La démission du président de la République ne peut résulter que de sa propre initiative, c'est-à-dire d'une demande écrite de sa part marquant sa volonté non équivoque de cesser ses fonctions (article L551-1 du Code général de la fonction publique). En cas de vacance de la présidence de la République, le président du Sénat assure l'intérim jusqu'à l'élection d'un nouveau président (article 7 de la Constitution).»