7 et 8 finis, sauf commentaire et const