16/09 - Commentaires sur l'astuce "Modifier le patch de Normalisé à Semi-Normalisé"