Hallou-Pounsch „ I : 12.