4. Everyone who is deprived of his liberty by arrest or detention
shall be entitled to take proceedings by which the lawfulness of
his detention shall be decided speedily by a court and his release
ordered if the detention is not lawful.