Démocratie : Que faire quand…

Question : que faire quand vous dites être en charge d’une démocratie et que :

  • les citoyens ne veulent pas de votre loi ;
  • les élus ne veulent pas de votre loi ;
  • demander l’avis des citoyens et des élus du peuple constitue donc une contrainte plus qu’autre chose ?

Réponse : ben on passe la loi en force, sans demander l’avis de personne. Trois fois de suite.


Pour rappel : dans une démocratie, c’est le peuple qui est au pouvoir.
Quand c’est une seule personne qui est au pouvoir et qui fait un peu ce qu’il veut, ça porte un autre nom.

Installer son propre serveur DNS sous Ubuntu

Ce tuto est valable pour Ubuntu et ses dérivés. Il fonctionne sans soucis sur Linux Mint 17.

Le serveur DNS, c’est ce qui permet de relier le nom d’un site (lehollandaisvolant.net) à un serveur ailleurs sur le net (5.39.16.10 pour ce site).

En général, vous utilisez les DNS de votre opérateur, mais ceux-ci vont devenir malsain au fur et à mesure que les gouvernements vont leur demande de bloquer des sites dérangeant.
Vous pouvez utiliser les serveurs DNS alternatifs, comme ceux de Google ou d’OpenDNS, mais ces serveurs DNS subiront le même problème que ceux des opérateurs, en plus de constituer un problème manifeste pour la vie privée.

Sachez qu’il est possible d’installer un serveur DNS directement sur votre ordinateur : quand vous voudrez vous connecter à un site, votre ordinateur contactera lui-même les serveurs DNS racine, sans passer par un serveur DNS intermédiaire.
Dans mon cas, la navigation est également devenu sensiblement plus rapide.


Sous Ubuntu et ses dérivés, il y a un paquet à installer. Ouvrez un terminal et copiez ceci :

sudo apt-get install unbound

Exécutez la commande par la touche Entrée, tapez votre mot de passe et validez de nouveau par la touché Entrée. Le paquet va alors s’installer.

Ensuite, changez les DNS dans le gestionnaire de réseau. Faites un clic droit sur l’icône réseau, puis « modification des connexions ». Sélectionnez sur votre connexion réseau puis cliquez sur « Modifier ».

Allez dans l’onglet IPv4, mettez « Adresses automatique seulement (DHCP) » et changez le serveur DNS pour 127.0.0.1 et enfin enregistrez :

changer ses DNS dans Mate
Quand c’est fini, copiez et exécutez successivement ces commandes  :

sudo sed -i 's/dns=dnsmasq/#dns=dnsmasq/g' /etc/NetworkManager/NetworkManager.conf
sudo service network-manager restart
sudo service unbound stop
sudo /etc/init.d/dns-clean restart
sudo unbound -c /etc/unbound/unbound.conf
sudo unbound-anchor -a "/var/lib/unbound/root.key"
sudo service unbound start

Voilà, vous pouvez surfer normalement et vous utilisez maintenant un serveur DNS directement sur votre ordinateur.

Vous pouvez vérifier par la commande suivante :

nm-tool | grep DNS

Qui devrait retourner ça :
DNS:             127.0.0.1

La présence du « 127.0.0.1 » indique que c’est bien votre ordinateur qui constitue le serveur DNS.

Les 6 commandes consécutives ci-dessus ont pour fonction respective :
  • de désactiver dnsmask, qui est l’outil DNS par défaut du gestionnaire de réseau d’Ubuntu. Vous pouvez voir qu’il n’apparaît plus quand vous faites sudo lsof -i :53 : seul unbound apparaît maintenant.
  • de relancer le gestionnaire de réseau. Cette commande va vous déconnecter le réseau, puis va vous reconnecter.
  • de désactiver le service unbound le temps de faire les commandes suivantes
  • de supprimer le cache-DNS local
  • de dire à unbound d’utiliser les fichiers de configuration qu’on a installé
  • de dire à unbound d’utiliser la clé DNS-Sec, qui permet de s’assurer que les réponses DNS sont légitimes.
  • de relancer unbound.

Si vous vous amusez à refaire un :
sudo service unbound stop
Vous ne pourrez plus accéder à mon site via son nom (lehollandaisvolant.net) mais ça marchera encore via l’IP (5.39.16.10).

N’oubliez pas de réactiver unbound avec ça :
sudo service unbound start

Ça prouvera que vous utilisez bien le serveur DNS sur votre ordinateur et non celui de votre routeur ou d’un autre programme.

N’oubliez pas de faire en sorte que votre ordinateur ne serve de serveur DNS qu’à vous et pas au reste du réseau (y compris le net) si c’est ce que vous voulez :

Ouvrez le fichier de configuration :
gksudo gedit /etc/unbound/unbound.conf

Et ajoutez ceci à la fin pour limiter le service qu’à votre ordinateur :

access-control: 0.0.0.0/0 refuse
access-control: ::0 refuse
access-control: 127.0.0.0/8 allow
access-control: ::1 allow

Puis relancez unbound :
sudo service unbound restart


Liens :

Câble HDMI en or VS câble HDMI à 2€

(Cet article est basé sur ma propre expérience. Je ne suis pas un professionnel du cinéma, je ne suis pas un ingénieur du son et je n’ai pas l’oreille absolu, que je sache).

J’en avais vite fait parlé dans mes liens, mais jamais ici. C’est donc une occasion de faire le point sur les câbles HDMI premier prix.

TL;DR : ils fonctionnent très bien et c’est tout à fait normal.

Ça fait maintenant presque un an que je regarde films et vidéos sur un vidéoprojecteur full-HD branché en HDMI à mon ordinateur.

Le câble HDMI mesure 5 mètres, après il y a un raccordeur femelle-femelle puis un autre câble, de 1,50 mètres.
Une partie du câble HDMI passe juste à côté du câble ADSL (sur environ 1 m) et une autre partie suit le câble réseau qui relie mon routeur à mon ordinateur.

Autrement dit, s’il y a des interférences, je pense que je devrais être en mesure de les voir. Tous mes câbles sont premiers prix, achetés en ligne et pour pas plus de 1€ le mètre. Ils ne sont ni blindés, ni plaqués or.

Le résultat : je n’ai aucun problème à signaler sur l’image ni sur le son : pas de grésillement, pas de bandes de couleurs, pas de problèmes de couleurs ternes. Tout va pour le mieux.

Conclusion : les câbles à 2€ ça marche très bien. Je n’ai pas testé les câbles à 100€, blindé, plaqué or avec fixations en titane ou résistant aux aliens, mais vu comme est mon image actuellement, je ne vois pas pourquoi j’investirais dans ça : un câble est un câble.


Comment c’est possible ?


Déjà, il faut savoir deux/trois choses sur ce qui se passe dans un câble HDMI.

Le câble transporte des signaux électriques d’un endroit à un autre. Dans le cas du HDMI, le signal est numérique : ça veut dire que le message est en binaire avec des 0 et des 1, contrairement au signal analogique où le message peut prendre toutes les valeurs possibles entre 0 et 1.



Si on veut transmettre un nombre entre 0 et 1, comme par exemple « 0,5 », on utilise un code en binaire, composé de 0 et de 1. C’est comme cela que l’on peut afficher du gris dans un monde binaire ou tout est soit tout noir soit tout blanc. Le problème n’est pas vraiment ici, il est plutôt dans la déformation du signal électrique.

Disons que le signal envoyé dans le câble est 0101. Le signal émis est donc :

numérique
Le signal passe maintenant dans le câble et va (dans le pire des cas) subir des interférences : de petites fluctuations dans le bruit électromagnétique ambiant qui va altérer notre signal. On a donc quelque chose comme ça à l’autre bout du fil :

numérique déformé
Zut alors : le signal est déformé !

Maintenant, voyez le signal : sachant qu’il est en binaire, est-il possible de savoir quand même quel était le signal de départ ?

Oui : on voit clairement que le signal de départ devait être 0101, car il suffit de faire une moyenne : les valeurs ne sont jamais très éloignés de 0 ou de 1.

Sans le savoir, on vient ici de corriger un signal numérique qui a subit des distorsions. Et pour tout vous dire, le vidéo-projecteur, il fait exactement pareil.

Pour l’appareil qui reçoit le signal, si le « 1 » est devenu un « 0,9 », alors il verra quand même un « 1 ». Ce n’est donc pas un problème si on subit de petites interférences : celles-ci sont totalement invisibles ; dans le cas du numérique, elles n’ont vraiment aucun effet sur l’image projeté.

Oui mais… Si un 0 est très déformé et devient un 1 ?

Dans le cas du HDMI, il n’y a pas de code de correction d’erreurs qui pourrait réparer même ce genre d’inversion. Si un bit est effectivement inversé, l’erreur sera visible à l’écran. Mais là encore il faut relativiser : un bit inversé, c’est juste un pixel dans une image qui change de couleur : vous sauriez différencier la couleur d’un pixel qui passe d’un jaune citron à un jaune safran, affichée durant 1/24e de seconde sur une image de 2 million de pixels à 4 mètres de distance ?
En fait, il y a de grandes chances que non : à 4 mètres, sur une image de 2 mètres de longueur comportant 1920 pixels en largeur, chaque pixel est vu sous un angle apparent de 0.89 minutes d’arc, ce qui est plus petit que la limite de résolution d’un œil humain qui a 20/20 d’acuité visuelle.


Sans compter que pour inverser un bit sur un signal numérique dans un câble, il faut un peu plus que du bruit électromagnétique ambiant : donc à moins que votre installation avec des câbles HDMI se trouve dans l’espace, à côté d’un four à micro-ondes, à côté d’un transformateur électrique ou emmêlé avec 50 autres câbles, vous ne verriez aucune différence et le plaquage or ou le blindage ne servent à rien du tout.


Le blindage est important sur les câbles des casques audio sur une prise Jack car le signal est analogique : ici, la moindre déformation dans le signal se traduit toujours par une déformation du son. Même chose pour les prises « peritel ».


Liens



Cazeneuve voit « tous les jours des drames à cause d'internet »

J’en vois tous les jours moi aussi.

Oui, j’entends tous les jours que des gens sont morts à cause de voitures qui roulent trop vite à cause de l’alcool ; des gens qui décèdent des causes du tabac ; des gens qui meurent à cause des pesticides ; des gens tués au travail à cause d’un manque de sécurité ; des gens tués par des armes à feu qu’ils pensaient déchargés ; des gens morts par un manque de soin médical trop onéreux ; des gens qui meurent dans la rue de la faim ou du froid ; des gens tués pour leur croyances ou leur origine ; des gens tabassés à mort par les flics ; des gens qui se suicident parce ce monde les dégoûte ou parce qu’ils sont persécutés pour leur orientation sexuelle ; des gens qui meurent parce qu’ils sont un peu cons et que l’Éducation Nationale n’a pas réussit à sensibiliser au danger ; des gens qui se noient parce que le maître nageur était distrait par une fille de 9 ans en maillot de bain ; des gens qui font des arrêts cardiaques à cause de bouffer n’importe quoi ; des gens tués dans des avalanches ou dans accidents de parapente ; des gens tués parce qu’un train déraille ou d’un avion s’écrase ; des gens qui s’électrocutent parce qu’EDF ne fait pas son boulot parce qu’investir dans la sécurité c’est pas leur priorité ; des bébés qui meurent étouffés parce qu’ils se mettent un sac plastique qui traînait sur la tête ; des gens qui s’empoisonnent avec des champignons qu’ils viennent de ramasser ; des gens qui crèvent à cause d’un virus qu’on pensait éradiqué parce qu’ils sont trop cons pour se faire vacciner ; des gens qui sont tués parce qu’un animal les a agressés après lui avoir jeté des cailloux dessus ; des gens qui meurent foudroyés par l’orage ou assommé par un arbre ; des gens qui meurent de déshydratation à cause de la chaleur alors qu’il suffit de boit ; des gens qui s’étouffent parce qu’ils ne comprennent pas que mélanger de l’eau de javel et de l’acide ça ne fait pas bon ménage ; des gens qui se tuent en moto parce le chauffard ne l’avait pas vu ; des gens qui meurent parce qu’une bouteille de gaz a explosé ; des gens qui décèdent parce que personne autour d’eux n’a été formé pour faire un massage cardiaque…


Heureusement Cazeneuve est là pour censurer Internet.

Oui, c’est sûr, ça va sûrement aider à sauver tout plein de gens. Et peut-être même les ressusciter, mais pour ça il faudra un vote.


(source)

Facebook se met aux Gifs

Putain, ça c’est de la news !

Oh, quelle révolution !

Vous savez quoi ? Le Gif animé a 20 ans, le HTML en a 25 et ça fait autant de temps qu’il est possible pour n’importe qui de faire du HTML avec un Gif dedans, car c’est franchement pas un exploit de savoir utiliser un gif animé dans une page web.

Je suis bien content qu’il n’a pas fallu attendre qu’une entreprise de la Silicon Valley découvre une ligne de code pour pouvoir utiliser une technologie aussi banale.


Voilà quelques gifs de chats :

gif chat toast
gif chat abeille
gif grumpy cat

Le droit d’auteur (ou copyreich) pour les nuls

Le droit d’auteur sert à protéger les auteurs d’œuvres artistiques. Enfin… ça c’est ce qu’on dit.

En pratique, il y a deux cas :

1) Vous êtes riche, connu, vous exposez.

Dans ce cas aucun problème : vous pouvez prendre des œuvres sur internet, les imprimer en grand et les exposer dans un musée.
On ne vous dira rien et vous vous ferez des couilles en or.

Ceci marche aussi si vous êtes une chaîne de télévision qui a envie de prendre des reportages amateurs et s’en proclamer auteur.

Exemple : Un artiste vend plusieurs milliers de dollars des photos subtilisées sur Instagram


2) Vous n’êtes pas riches, pas connu et vous êtes un consommateur de produits culturels.

Ici, attention : si vous entrez dans un musée avec un calepin pour faire un croquis de l’architecture du musée (pas des œuvres), alors là on appelle la police, on vous jette à terre, on vous menotte et on vous envoie au poste de police.

Exemple : Dessiner à Mons, ça fait BAM*!


Voilà comment ça marche, maintenant vous saurez la prochaine fois que vous allez dans un musée.

Free Mobile vous inscrit par défaut chez les prospecteurs et vous ment

Free a ajouté une option pour choisir si oui ou non on veut s’inscrire dans les annuaires. Selon eux, tout le monde a activée cette option manuellement et donc tout le monde consent à ce qu’on soit dans l’annuaire des prospecteurs.

Selon les utilisateurs, c’est moins sûr.
Perso, je suis chez Free mobile depuis plus de 2 ans et je suis sûr à 100% que je n’ai jamais activé cette option. Je pense même (pas sûr à 100% cette fois) que cette option n’était pas là il y a quelques mois (la dernière fois que je me suis connecté en fait).

Je viens de la désactiver : il faut aller dans [son espace abonnéemobile.free.fr/moncompte/ et ensuite désactiver l’option « Annuaire et Prospection » :

capture d’écran de la page de Free.fr
Par ailleurs, j’ai vu que l’option tout aussi récente, elle ne me dit absolument rien, « Google Play » était également active. Cette option permet de payer des applications Google Play payantes via Free. Les achats seront intégrés à votre facture Free. Je ne veux pas de ça.


Perso, je m’en fous que l’option soit activée par défaut. Par contre, j’aimerais bien être prévenu (pour pouvoir désactiver ça au plus vite) avant que ça devienne effectif (par juste après).
Ce qui est inadmissible en revanche c’est que Free dit « c’est pas nous » alors que si.

Firefox, GNU/Linux, Youtube et HTML5

Après vous avoir montré comment installer une version à jour de Flash dans Firefox sous Linux, je vais vous montrer comment vous en passer (me remerciez pas, c’est un plaisir :D), car Flash à jour c’est mieux que Flash pas à jour, mais moins bien que pas de Flash du tout (du moins quand on peut s’en passer, et c’est le cas pour Youtube).

La principale raison pour laquelle j’ai Flash sur mon ordi, c’est pour les vidéos sur le net et surtout Youtube. Or, Youtube permet d’utiliser les vidéos directement en HTML5.

Firefox est parfaitement capable d’utiliser le HTML5 et d’afficher les vidéos, y compris en très haute définition (4K). Le seul truc, c’est qu’il faut utiliser des codecs non libres (H.264, par exemple) et il faut activer tout ça manuellement : c’est l’objet de cet article.


Activer HTML5 sur Youtube


Par défaut, Youtube utilise le lecteur Flash. Rendez-vous sur la page youtube.com/html5 et cliquez sur « demander l’utilisation du lecteur HTML5 ». Une fois que vous aurez cliqué, normalement, ça va enregistrer le choix et vous aurez le lecteur HTML5 sur toutes les vidéos.


Activer les codecs dans Firefox


Pour l’instant vous n’aurez pas accès à certaines définitions d’image : il manquera le 480p, le 1080p et tout ce qui est 4K : quand vous voulez changer de définition dans une vidéo, ces définitions ne seront pas visibles.
Ici, c’est l’ami Korben qui propose l’astuce : Comment activer la 4K Youtube sous Firefox ?.

L’astuce n’est pas tout à fait complète et n’a pas suffit chez moi. C’est en fait une question de codec vidéo. Comme vous le voyez sur la page HTML5 de Youtube : tous les codecs ne sont pas actifs :

youtube html5 : tous les codecs ne sont pas fonctionnels
Pour ça, il suffit de les activer au sein de Firefox.

Rendez-vous dans about:config, passez l’avertissement de sécurité et cherchez tous les paramètres suivants et modifiez-les (si besoin) en double cliquant dessus :

Pour activer Media Source (MSE) :
  • media.mediasource.enabled : mettre à true ;
  • media.mediasource.ignore_codecs : mettre à true.

Pour les plugins WebM :
  • media.mediasource.webm.enabled : mettre à true ;
  • media.encoder.webm.enabledmettre à true.

Pour les plugins H.264/MP4 :

  • media.fragmented-mp4.enabled : mettre à true ;
  • media.fragmented-mp4.exposed : mettre à true ;
  • media.fragmented-mp4.ffmpeg.enabled : mettre à true ;
  • media.fragmented-mp4.gmp.enabled : mettre à true.

Voilà, sous la condition que les codecs H264, VP9 et Webm soient installés sur votre système (indépendamment de Flash et Firefox), tous les codecs sont maintenant actif :

youtube html5 : tous les codecs sont fonctionnels
Toutes les définitions HD de Youtube fonctionnent également : vous pouvez essayer sur cette playlist spéciale regroupant des vidéos en 4K. On peut choisir toutes les tailles d’image :

youtube firefox html5 toutes les définitions sont disponibles

Désactiver le lancement automatique des vidéos


Avec le plugin Flash, on pouvait choisir si les vidéos se lançaient automatiquement. Avec les vidéos HTML, tout ça est géré par le site web et il peut très bien forcer le chargement de la vidéo (et tout le bruit qui va avec), ce qui est chiant quand on a 50 onglets d’ouvert et qu’on ne sait pas duquel vient le bruit.

Firefox ne semble pas proposer de méthode qui fonctionne pour ça. Il y a bien le media.autoplay.enabled qu’il faut mettre à false, mais il ne marche pas sur Youtube.

J’utilise plutôt le module Youtube Control Center, qui permet entre bien d’autres options, de bloquer le lancement et le chargement automatique des vidéos Youtube.

Firefox, GNU/Linux et Flash à jour

Depuis un moment, Adobe ne fournit plus le plugin Flash pour Ubuntu et les autres distributions GNU/Linux : la dernière version en date est la version 11.2 (alors qu’ils en sont à la version 17 actuellement).
Google propose Chrome et Chromium avec un plugin Flash intégré : c’est Google qui fournit Flash à la place d’Adobe. Ce n’est donc pas génial.

Ici je vous résume la méthode d’installation de Flash dans Ubuntu (et ses dérivés, dont Linux Mint) utilisable par Firefox. Je suis sous Mint 17, basé sur Ubuntu 14.04 et j’utilise Firefox 38.

Ma page s’inspire et regroupe ce qui est dit ici : Le meilleur de Flash sous Ubuntu et Firefox | blog@kmelia. Cette méthode ne marche pas pour Chrome et dérivés.

En pratique, tout ça va passer par un programme nommé « Pipelight » (doc), qui sert d’interface d’installation dans Linux des version Flash de Windows (Adobe fournit Flash pour Windows, mais pas pour Linux, en fait). Pipelight permet aussi d’installer Silverlight et d’autres plugins.
Pipelight est libre, mais utilise des fichiers non-libres (polices microsoft) et permet d’installer des plugins qui ne le sont pas non plus.

Installation de Pipelight

Premièrement, installons Pipelight.
On ajoute le dépôt officiel :
sudo add-apt-repository ppa:pipelight/stable
On installe les paquets qu’il faut (ça requiert pas loin de 330 Mo) :
sudo apt-get update
sudo apt-get install --install-recommends pipelight-multi
On recharge la liste des plugin :
sudo pipelight-plugin --update
On dit à Firefox de prendre en compte les plugins de Pipelight :
sudo pipelight-plugin --create-mozilla-plugins

Installons Flash via Pipelight


On supprime le paquet de Flash actuel :
sudo apt-get remove flashplugin-installer adobe-flashplugin --purge
On active le nouveau plugin :
sudo pipelight-plugin --enable flash
On supprime la liste des plugins de Firefox (il mettra à jour le fichier tout seul — ici je ne supprime pas le fichier, mais j’en garde une copie au cas où) :
mv ~/.mozilla/firefox/*.default/pluginreg.dat ~/.mozilla/firefox/old_pluginreg.dat

Normalement, tout est bon : Flash 17 (à ce jour) devrait être installé.

En relançant Firefox, vous aurez une petite fenêtre « wine-flash-installer » : elle se fermera toute seule (pas de panique) et c’est juste pour cette fois.
Quand la fenêtre est partie, vous pourrez vérifier sur cette page que la dernière version de Flash est bien installée et active dans Firefox :

version de Flash dans Firefox
Concernant les mises à jour, comme il est dit sur la page de Kmelia, il faut faire une différence entre la mise à jour de Pipelight (qui se fait avec la mise à jour du système, via Apt) et la mise à jour des plugins, qui se fait avec la commande suivante :
sudo pipelight-plugin --update

Quand vous faites une mise à jour système donc, je vous conseille de vérifier directement s’il y a une mise à jour des plugins.

[Geek] Calculer le jour de la semaine pour n’importe quel date, de tête

calendrier Même si aujourd’hui on a tous un téléphone avec un calendrier pour les trois mille prochaines années, on peut toujours se la jouer et calculer de tête quel jour sera n’importe une date donnée.

La formule est assez simple mais demande de savoir faire quelques petits calculs de tête, comme 3+3+5 ou 10+1+3. Ça reste simple.

Il faut aussi connaître l’opérateur « modulo ». Le modulo (noté « % »), c’est juste le reste de la division euclidienne (apprise en sixième). Ainsi, 10%7 (lire « 10 modulo 7 ») c’est 10−7 c’est à dire 3. Plus compliqué, 22%7 c’est 22−7−7−7 c’est à dire 1. En fait, on prend le nombre (22) et on lui retire le multiple de 7 directement inférieur à lui (ici, c’est 21).
Ici on n’aura besoin que du module 7, mais cet opérateur peut être utilisé avec tous les nombres (par exemple 238%42=28)


La formule pour la date après l’an 2000, c’est ça :

[ (Jour à calculer)%7 + (Code de l’année)%7 + Code du mois ]%7 = Jour de la semaine.


Où :

  • Jour à calculer : c’est le jour du mois, modulo 7. Pour le 25 décembre, ce code est 25%7, soit 4.
  • Code de l’année : c’est un code qui dépend de l’année. Il est égal à cette année + le nombre d’années bissextiles depuis l’an 2000 (exclu), le tout modulo 7. Pour l’an 2000, c’est 0+0. Pour l’an 2001, c’est 1+0. Pour l’an 2015, c’est (15+3)%7=4. Le « 3 », c’est à cause des trois années bissextiles depuis l’an 2000 : 2004, 2008 et 2012.
  • Code du mois : chaque mois dispose d’un code qui dépend du nombre de jours qu’il contient et ceux des mois précédents. Il est plus facile d’apprendre les correspondances par cœur :

Janvier :6 (5 si l’année est bissextile)
Février :2 (1 si l’année est bissextile)
Mars :2
Avril :5
Mai :0
Juin :3
Juillet :5
Août :1
Septembre :4
Octobre :6
Novembre :2
Décembre :4


Pour avoir la date, il suffit de faire la somme.

Ainsi, pour Noël 2015 on calcule :

  • Jour à calculer ? 25. Modulo 7 : ça fait 4.
  • Code du mois ? C’est 4.
  • Code de l’année ? (15+3)%7=4
  • La somme 4+4+4 = 12.
  • 12 modulo 7, ça donne 5.

Ça y est : Noël 2015 tombera un donc le cinquième jour de la semaine, c’est à dire un vendredi.


Une autre date ? Prenons au hasard : 19 avril 2022.

  • Jour à calculer ? 19. Modulo 7, ça donne 5.
  • Code du mois ? C’est 5.
  • Code de l’année ? (22+5)%7=6.
  • La somme 5+5+6 = 16.
  • 16 modulo 7, ça donne 2.

C’est bon : le deuxième jour de la semaine c’est mardi. Le 19 avril 2022 sera un mardi.


Notez quelques trucs :
— Cette formule fonctionne pour les années après l’an 2000. Il est possible de faire une formule pour les années avant aussi, mais je n’ai pas jugé utile de faire ça (il suffit de soustraire le nombre d’années bissextiles entre votre année et l’an 2000, en fait).
— Les « modulo 7 » sont à utiliser ici parce que les semaines ont 7 jours, et que toutes les semaines on retrouve les mêmes jours. Donc qu’on prenne le 10e jour ou le 3e jour, il sera identique. Le module sera uniquement à compter avec des nombres plus petits.
— Le résultat donne le jour de la semaine : 1 pour lundi, 2 pour mardi, etc. Si vous savez 7, c’est dimanche. Si vous savez 0, c’est dimanche aussi. En fait, 7%7 reste possible et ça fait 0.
— Pour trouver le nombre d’années bissextiles depuis l’an 2000, c’est simple : les années multiples de 4 sont bissextiles (2004, 2008, 2012, 16, 20…). Aussi, tous les 20 ans, on a 5 années bissextiles. Donc pour 2060, le nombre d’années bissextiles est 15. Le code de l’année 2060 sera donc (60+15)%7 soit 5.

(source, en anglais)


Image de Studio Curve