Sujets créés par "Ben Dover"

Sujet Date Extrait
Médiation pour une commande internet ; conditions générales de vente
jeudi 23 novembre 2017 à 18h48 Bonjour, Si j'en crois [le site du gouvernement sur la médiation et la consommation](https://www.economie.gouv.fr/mediation-conso/vous-etes-professionnel), un site marchand est obligé de faire fig…
Non-prouvabilité en déduction naturelle propositionnelle

Par des moyens syntaxiques

vendredi 27 octobre 2017 à 17h26 Bonjour, Je m'intéresse aux démonstrations (niveau méta) de non-prouvabilité de formules propositionnelles simples en déduction naturelle qui se basent sur des arguments syntaxiques. Je me souv…
Un thème de couleur personnalisé dans irssi
dimanche 24 septembre 2017 à 12h49 Bonjour, J'essaye de personnaliser les couleurs utilisées dans irssi en modifiant un fichier `.theme`. J'arrive à charger le fichier et à le modifier mais quand je change les couleurs en fonction …