Сколько человек было в экипаже линейного корабля типа «Норманди»?