Christophe,
I have installes v5.6 several time using the mirror raid1 option during install. It will automatically partition, format and build the raid for you. The disks MUST be exactly the same or it will not work. The partitions on the drives are actually "Linux raid autodetect" partitions. Raid tools builds the raid device and uses ext3.
fdisk shows the following (just 1 drive).
Device Boot Start End Blocks Id System
/dev/hda1 * 1 13 104391 fd Linux raid autodetect
/dev/hda2 14 4972 39833167+ fd Linux raid autodetect
/dev/hda3 4973 5005 265072+ fd Linux raid autodetect
As you can see the partitions here have to be "raid" type partitions. After the raid is built, the raid devices (after the partitions are combined) are ext3.
# df -T
Filesystem Type 1k-blocks Used Available Use% Mounted on
/dev/md1 ext3 39207872 4280984 32935236 12% /
/dev/md0 ext3 98971 8763 85098 10% /boot
/dev/md3 tmpfs 95628 0 95628 0% /dev/shm
hda1+hdc1=md0
hda2+hdc2=md1
hda3+hdc3=md2
Do not add ext3 to mirror.cfg, it won't work. Raid tools will take care of it for you.
Good Luck, Paul