J'avais une petite méthode pour générer ou vérifier des EAN13 que j'ai présentés dans un article précédent. J'avais fait une méthode de formatage pour ajouter des tirets (en anglais “hyphenation”). Je pensais bêtement qu'il y avait un seul formatage, jusqu'à ce que j'y fasse vraiment attention. En fait il y a un formatage spécial pour les ISBN13, et c'est un poil plus compliqué que je ne le pensais.
J'ai déterré un de mes TP de Java où j'avais eu à résoudre des sodokus. C'est très loin d'être optimal , il existe plein de technique pour réduire le nombre de tests, mais comme j'ai un résultat en moins d'une demi-seconde et que le temps TP ne m'a pas permis pas d'aller plus loin, ça se limite à la recherche par force brute (tout tester).
Comme d'habitude ça part de l'idée de ne pas se prendre la tête et surtout ne rien avoir à faire par la suite pour gérer les jours fériés. Le seul problème c'est le lundi de Pâques, qui ne semble pas si simple à avoir. Heureusement, PHP dispose de la fonction easter_date() qui permet d'avoir le timestamp du dimanche de Pâques. Avec ça, ça devient infiniment plus simple.