# Floating Coconuts

> Agence numérique autonome fondée en 2024 par Larry au Marin, Martinique. Présence numérique (sites, newsletters, identité visuelle, campagnes, formations IA) et cybersécurité pour les PME et indépendants des Antilles-Guyane et de la Caraïbe. Hébergement en Europe, outils libres, hors GAFAM ; le client garde les accès complets.

- Adresse : Bd Allègre, 97290 Le Marin, Martinique
- Contact : contact@floating-coconuts.com · réponse sous 48 h ouvrées
- Langues : français, anglais, espagnol
- Zone : Martinique, Guadeloupe, Guyane, Saint-Martin, Saint-Barthélemy, Caraïbe anglophone et hispanophone. Services non disponibles à Cuba (OFAC).
- Paiement : Stripe (carte ou virement), facture sous 24 h, acompte 70 %. Cybersécurité : 1 ou 3 fois sans frais.
- Les tarifs de https://floating-coconuts.com/products.html font foi.

## Pages

- [Notre histoire](https://floating-coconuts.com/about.html): qui est Floating Coconuts, la BD « Vous face aux GAFAM », le Cloud Act, la méthode d'audit, les tarifs, la FAQ
- [Services & tarifs](https://floating-coconuts.com/products.html): présence numérique autonome, paiement Stripe
- [Cybersécurité PME Antilles-Guyane](https://floating-coconuts.com/cybersecurite-pme-antilles-guyane.html): cadrage, audit de sécurité, pare-feu OPNsense, récupération de postes
- [Logiciels](https://floating-coconuts.com/logiciels.html)
- [RevOS, pitch deck FR](https://floating-coconuts.com/RevOS-Pitch-Deck.html) · [EN](https://floating-coconuts.com/RevOS-Pitch-Deck-EN.html): poste de travail bâti sur seL4, micro-noyau formellement vérifié, dans une configuration qui ne l'est pas encore, conçue pour que la preuve reste atteignable. Tout le reste en Rust.
- [Klérotèrion](https://floating-coconuts.com/kleroterion.html): prototype de démocratie directe par tirage au sort

## Tarifs 2026 — présence numérique (EUR)

- Audit Croissance & Autonomie : 990 € (paiement unique) — Les 3 points où vous perdez des clients, votre exposition GAFAM, un plan d'action et de migration chiffré. Rapport PDF + restitution 1 h 30, livré en 5 jours.
- Formation IA — demi-journée : 850 € (3 h) — Jusqu'à 8 personnes, cas d'usage de votre secteur
- Formation IA — journée complète : 1 600 € (6 h) — Jusqu'à 8 personnes, de zéro à autonome
- Site vitrine professionnel : 2 000 € (one-shot) — 5 à 8 pages, SEO/AEO, mobile-first, prise de rendez-vous, hébergement autonome en Europe, formation incluse
- Identité visuelle complète : 1 900 € (10 jours ouvrables) — Logo, charte graphique, brand book
- Affiche événementielle : 450 € (48 h) — Fichiers HD + print, direction artistique caribéenne
- Campagne digitale : 2 400 € (par mois) — Google Ads + Meta Ads gérés, rapport mensuel. Budget publicitaire en sus (300 €/mois minimum recommandé)
- Newsletter autonome Listmonk : 490 € (par mois) — Setup inclus, vos abonnés restent sur votre infrastructure
- Accompagnement 3 mois : 2 200 € (renouvelable) — Présence, contenu, campagnes, optimisation continue
- Boutique Flash autonome : 2 500 € (one-shot) — Boutique en 5 jours, import de 200+ articles, 4 visios d'optimisation incluses
- Site e-commerce sur mesure : dès 5 500 € (sur devis) — Catalogue, paiement, stocks, livraison
- Pack Présence Autonome : 4 900 € (+ maintenance 490 €/mois) — Site 5 à 8 pages, identité visuelle, hébergement Europe, domaine + SSL 1 an, formation 2 h, support 30 jours, fiche Google Maps
- Développement sur mesure : 650 € (par jour) — Outils métier, intégrations

## Tarifs 2026 — cybersécurité (EUR HT)

- Cadrage initial : 250 € HT (1 h en visio) — Compte-rendu écrit sous 48 h, recommandation chiffrée. Déduit de la mission.
- Audit de sécurité : 1 500 € HT (3 à 5 jours) — PME de 5 à 30 postes : cartographie du SI, vulnérabilités, revue RGPD et NIS2, rapport sous 10 jours. Ou 500 € × 3 mois.
- Pare-feu OPNsense — Économie : 2 200 € HT (matériel reconditionné) — VLAN, détection Suricata, documentation et formation, 30 jours de tests et hotline. Ou 733 € × 3 mois.
- Pare-feu OPNsense — Fiabilité : 2 800 € HT (Protectli VP2420 neuf) — Suricata IDS/IPS, journalisation, garantie constructeur 2 ans. Ou 933 € × 3 mois.
- Récupération de poste orphelin : 300 € HT (par poste) — Poste Windows verrouillé repris en 2 à 3 h, sans perte de données. Sans cadrage.

## RevOS et CosNiX

- RevOS : chaque service tourne dans son propre domaine de protection (« pétale ») ; chaque pilote est conçu pour être isolé jusqu'au DMA via l'IOMMU.
- Linux : environ 20 000 000 lignes en mode privilégié ; seL4 : environ 10 000 lignes vérifiées par machine (Isabelle/HOL).
- Déjà en marche : CosNiX V1 (NixOS + COSMIC, AGPL 3.0) terminée le 23 août 2026 ; noyau seL4-SVM sur banc AMD reproductible (30 août 2026) ; Microkit sur AMD avec sortie framebuffer.
- Amont : trois issues ouvertes chez Microkit, dont une a conduit à un correctif (PR #600) ; patch SVM à proposer en RFC à seL4.
- En cours : AMD-Vi (IOMMU d'AMD dans seL4), neuf paliers, objet d'une candidature NLnet.
- Limites déclarées : pas de « prouvé » sur x86 ; AMD-Vi validé sur deux machines de référence (Phoenix, Krackan), pas prouvé ; canaux temporels type Spectre hors preuve ; Rust n'est pas une preuve.
- Modèle : édition communautaire libre, édition Janus payante.