A pair of DPA 4060 is what I'd suggest given your requirements, and what I use. I recommend the DPA boundary mount adapters for them, which are intended for use on the floor! (or for mounting them directly against a wall or other surface).
I also use and might recommend the DPA 4098 which is their miniature super/hypercardioid specifically intended for choir mic'ing. The are designed to be installed mics hung in a line in front of the choir, but I don't use them that way myself. They are super small and low-voltage powered like the DPA miniature omnis, and can use the same power-supply/preamp gear. However, as directional mics they are are less forgiving about setup, less flexible overall (can't really put them on the floor as easily for instance), more sensitive to wind noise, have the typical directional proximity effect and bass sensitivity roll-off with distance, and the miniature interference tubes require a bit more care and protection to avoid crushing them. They are extremely clear and clean sounding however, and have become my go-to miniature directional microphone.