Lịch sử hải quân Pháp