diskutil repairDisk disk0 ; diskutil list internal
Repairing the partition map might erase disk0s1, proceed? (y/N) y
Started partition map repair on disk0
Checking prerequisites
Checking the partition list
Adjusting partition map to fit whole disk as required
Checking for an EFI system partition
Checking the EFI system partition's size
Checking the EFI system partition's file system
Checking the EFI system partition's folder content
Checking all HFS data partition loader spaces
Preparing to create trailing loader space by shrinking the volume "Macintosh HD" on disk0s3
Creating loader space, part 1 of 3: Verifying the file system
Creating loader space, part 2 of 3: Shrinking the file system from 450 413 887 488 to 450 279 669 760 bytes so that this partition can be smaller
Creating loader space, part 3 of 3: Shrinking the partition in the partition map to open up loader space
Checking booter partitions
Reviewing boot support loaders
Checking Core Storage Physical Volume partitions
The partition map has been repaired
Finished partition map repair on disk0
/dev/disk0 (internal, physical):
#: TYPE NAME SIZE IDENTIFIER
0: GUID_partition_scheme *500.1 GB disk0
1: EFI EFI 209.7 MB disk0s1
2: Apple_HFS Macintosh HD 450.3 GB disk0s3
3: Apple_APFS Container disk1 49.5 GB disk0s2
/dev/disk1 (synthesized):
#: TYPE NAME SIZE IDENTIFIER
0: APFS Container Scheme - +49.5 GB disk1
Physical Store disk0s2
1: APFS Volume Système - Données 31.8 GB disk1s1
2: APFS Volume Preboot 26.9 MB disk1s2
3: APFS Volume Recovery 523.5 MB disk1s3
4: APFS Volume Système 10.8 GB disk1s4
5: APFS Volume VM 1.1 GB disk1s5